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>.