等价类

等价类定义为形如 的子集，其中 是 的一个元素，符号 "" 用于表示 和 之间存在等价关系。可以证明，任意两个等价类要么相等，要么不相交，因此等价类的集合构成了 的一个划分。对于所有 ，当且仅当 时，当且仅当 和 属于同一个等价类。

类代表的集合是 的一个子集，它包含来自每个等价类的恰好一个元素。

对于 一个正整数，以及 整数，考虑同余式 ，则等价类是集合 , 等。标准类代表取为 0, 1, 2, ..., 。