合同式

初等整数論において合同式（ごうどうしき）とは、整数を整除関係を用いて分類することにより定義される一種の等式である。ある自然数で割った余りが等しいかどうかを判定する。