方程无解的定义