合同式 - フレッシュアイペディア

初等整数論において合同式（ごうどうしき、modular equality）とは整数を整除関係を用いて分類することによって定義される一種の等式である。ある自然数で割った余りが等しいかどうかを判定する。1801年にカール・フリードリヒ・ガウスが『整数論』で導入した。