הוכיחו כי ניתן להגדיר חיבור וכפל של מספר שלמים כמו שאנחנו רגילים.
=== תרגיל ===
עבור היחס מודלו <math>n</math> על קבוצת השלמים <math>\mathbb{Z}</math>, נסמן את קבוצת המנה ב <math>\mathbb{Z}_n</math>
הוכיחו כי ניתן להגדיר חיבור וכפל של איברים ב <math>\mathbb{Z}_n</math> ע"י <math>[a]+[b]=[a+b], [a][b]=[ab]</math>. חיבור זה נקרא חיבור מודלו n וכפל זה נקראה כפל מודלו n.
===תרגיל===