割った時の余りという点で同じ」ことを表す関係も作れる。法とする合同関係と呼ばれる。一致するので、通常の「等しい・同じ」を表す関係になる。よって同じと見なされるモノだけがすべて属する集合である。同値類を考えると\begin{eqnarray}M_o&=&\{1,3,5,7,9,\dots\}\\M_e&=&\{0,2,4,6,8,\dots\}\end{eqnarray}という二つの同値類がある。異なる同値類に属する。同値類は、それに属する1つの元を用いて表すことができる。