[MoDErN_SnC]

ขอให้นิยามคอนกรูเอนซ์แบบเป็นทางการ (นิดนึง)

นิยาม ให้$ n \in \mathbb{N}$, a และ b เป็นจำนวนเต็ม จะเรียกว่า a คอนกรูเอนซ์ b มอดุโล n ก็ต่อเมื่อ $n|a-b$

เขียนเป็นสัญลักษณ์$ a \equiv b (mod n)$
อ่านว่า a คอนกรูเอนซ์ b มอดุโล n