等價類

等價類定義為形如 的子集，其中 是 的一個元素，符號 "" 用於表示 和 之間存在等價關係。可以證明，任意兩個等價類要麼相等，要麼不相交，因此等價類的集合構成了 的一個劃分。對於所有 ，當且僅當 時，當且僅當 和 屬於同一個等價類。

類代表的集合是 的一個子集，它包含來自每個等價類的恰好一個元素。

對於 一個正整數，以及 整數，考慮同餘式 ，則等價類是集合 , 等。標準類代表取為 0, 1, 2, ..., 。