01
Addition β always well behaved, whatever n is
What you know: Any modulus at all. Adding, subtracting and multiplying mod n are always defined, and every element has an additive opposite.
What to check: 13 + 5 ≡ 6 (mod 12)
Worked example: A 12-hour clock: 13 + 5 = 18, and 18 mod 12 = 6. Five hours after one o'clock is six o'clock.
Open this case: clock mod 12