Trên tập N các số tự nhiên xác định các quan hệ S như sau

quan hệ tương đương là quan hệ đồng dư theo môđun m trên tập hợp các số nguyên {\displaystyle \mathbb {Z} }(m là số tự nhiên lớn hơn 1), mỗi lớp tương đương là tập các số nguyên có cùng số dư theo môđun m.
=> Với mọi a, b thuộc N, a quan hệ với b==> a,b có ước số chung là p là quan hệ tương đương