Esperanto Lingvoj Fakoj ktp.
MAT

n-modula restoklaso

vidu

→ ekvivalento-klaso ekvivalentklaso

→ grupo de n-modulaj restoklasoj

→ kongrua 2.a