Axiomatic WikiWWikiDDefinitionsAddition modulo n
Definition·D115
Add residue classes by adding representatives and taking the class of the result.
For
and residue classes in
(D114), addition is given on representatives by
for
, with
on the right the addition of integers.
In words
The sum of two residue classes is the class of the sum of any chosen representatives.
Never needed: F03 · F04 · F05 · F06 · F08 · F10 · F11 · F12 · F13 · A03 · A04 · A05 · A07 · A08 · A09 (computed from the citation graph, not asserted).