ormula_9表示在数量级formula_10上渐进。因为这里的符号“formula_1”不满足若且唯若的定义，所以它不等于等于符号；实际上，formula_12是没有意义的。请参见大O符号了解这部分内容。集合formula_13上的等于关系是种二元关系，满足自反性，对称性，反对称性和传递性。实际上，这是"formula_13" 上唯一满足所有这些性质的关系。去掉对反对称性的要求，就是等价关系。相应的，给定任意等价关系formula_15，可以构造商集formula_16，并且这个等价关系将‘下