这些条件满足的元素是什么？在某个集合内，能使方程中所描述的条件被满足的元素称为方程在这个集合中的解（比如代入某个数到含未知数的等式，使等式中等号左右两边相等）。求出方程的解或说明方程无解这一过程叫做解方程。可以用方程的解的存在状况为方程分类，例如，恒等式即恒成立的方程，例如formula_3，在所指定的某个集合（比如复数集）中的全部元素都是它的解；矛盾式即矛盾的方程，如formula_4，在所指定的某个集合（比如复数集）中没有元素满足这个等式。等式中的等号则是16世纪英国科学教育家发明。Sect