2つの整数について、 をで割った余りとをで割った余りが等しい ことを \begin{equation} x \equiv y \mod p \end{equation} で表します。これを「合同式」といいます。 「法に関しては合同である」などといいます。