ormula_12是没有意义的。请参见大O符号了解这部分内容。集合formula_13上的等于关系是种二元关系，满足自反性，对称性，反对称性和传递性。实际上，这是"formula_13" 上唯一满足所有这些性质的关系。去掉对反对称性的要求，就是等价关系。相应的，给定任意等价关系formula_15，可以构造商集formula_16，并且这个等价关系将‘下降为’formula_16上的等于。在任何条件下都成立的等式称为恒等式，包含未知数的等式称为方程式。
逻辑形式.谓词