സങ്കലനം, വ്യവകലനം, ഗുണനം എന്ന സംക്രിയകൾ സാധാരണ പൂർണ്ണസംഖ്യകളെപ്പോലെത്തന്നെ ചെയ്യാവുന്ന രീതിയിൽ ഒരു സർവ്വസമതാ ബന്ധത്തിന്റെ (congruence relation) നിർവചനമാണ് മോഡ്യുലർ അങ്കഗണിതത്തിന് അടിസ്ഥാനം. ഒരു പൂർണ്ണസംഖ്യയാണെങ്കിൽ , എന്ന പൂർണ്ണസംഖ്യകൾ " ആണെന്നു പറയുന്നത് അവയുടെ വ്യത്യാസമായ എന്നത് ന്റെ പൂർണ്ണസംഖ്യാഗുണിതമാവുമ്പോഴാണ്. അതായത്, എന്ന സമവാക്യമനുസരിക്കുന്ന എന്ന പൂർണ്ണസംഖ്യയുണ്ടാകണം. യും യും പൂർണ്ണസംഖ്യകളാകുമ്പോഴാണ് ഈ സർവ്വസമത സാധാരണ ഉപയോഗിക്കാറുള്ളത്, ഇതിനെ
എന്ന് സൂചിപ്പിക്കുന്നു. നെ സർവ്വസമതയുടെ " എന്നു വിളിക്കുന്നു. 

യൂക്ലിഡിയൻ ഹരണവുമായുള്ള ബന്ധം വ്യക്തമാക്കാൻ
എന്ന രൂപത്തിലും സർവ്വസമതയെ എഴുതാവുന്നതാണ്. എന്നാൽ എന്നത് യെ കൊണ്ട് ഹരിച്ചാൽ ലഭിക്കുന്ന ശിഷ്ടം തന്നെയായിരിക്കണമെന്ന് നിർബന്ധമില്ല. കൃത്യമായി പറഞ്ഞാൽ, എന്ന സർവ്വസമത പറയുന്നത് യെയും യെയും കൊണ്ടു ഹരിച്ചാൽ കിട്ടുന്ന ശിഷ്ടങ്ങൾ തുല്യമാണെന്നാണ്. അതായത്,
ഇവിടെ തുല്യമായ ശിഷ്ടമാണ്. ഈ സമവാക്യങ്ങളുടെ വ്യത്യാസം കണ്ടാൽ നേരത്തെപ്പോലെ:
എന്നു ലഭിക്കുന്നു ().

തുല്യതാബന്ധം
ഉദാഹരണം
ഗുണനവിപരീതം
സർവ്വസമതയുടെ നിർവചനം