剰余類

$a \in \mathbb{Z}$ に対して,\[\bar{a}=\{b \in \mathbb{Z} | b \equiv a \ mod \ m \} \]を$m$ を法とした $a$ の剰余類という.
$m$ を法とした剰余類全体の集合は,\[\mathbb{Z}\backslash (m) = \{\bar{a} | a \in \mathbb{Z} \} \]と表される.