The congruence class of modulo a positive integer is . Two integers have the same class exactly when their difference is divisible by . Addition and multiplication of representatives descend to well-defined operations on , because replacing a representative by a multiple-of- translate changes the result by a multiple of .
New to topics? Read the docs here!