Modula aritmetiko: Malsamoj inter versioj

Kongrueco estas [[ekvivalentrilato]]. [[Ekvivalentklaso]] de la entjero ''a'' estas signifita per [''a'']_''n'' = { ..., ''a'' − 2''n'', ''a'' − ''n'', ''a'', ''a'' + ''n'', ''a'' + 2''n'', ''a'' + 3''n'', ...}. Ĉi tiu aro de ĉiuj entjeroj kongruaj al ''a'' module je ''n'' estas nomita kiel la '''kongrueca klaso''' aŭ '''n-modula restoklaso''' de ''a'' module je ''n'', kaj estas ankaŭ signifis per <math>\hat{a}</math>.

Donita (ĉiu, iu) pozitiva entjero ''n'' kaj (ĉiu, iu) nenegativa entjero ''A'', se ''A'' estas (dividita, dividis) per ''n'', la rezulto povas esti esprimita kiel entjera rilato ''q'' kaj entjera resto ''r''. Modula aritmetiko estas nur (interezis, interesita) en la resto (aŭ _residue_) post divido per iu modulo, kaj rezultoj kun la sama resto estas estimita kiel ekvivalento, aŭ ''kongrua''. Du (entjeroj, entjeras) ''A'' kaj ''b'' estas dirita al esti ''kongrua module je n'' se (''A'' '''_mod_''' ''n'') = (''b'' '''_mod_''' ''n'').