Gemeint ist vermutlich die Restklasse des Elements (a,0) bzw. (0,b).
Ihr betrachtet ja bestimmt die natürlichen Zahlen mit Addition und definiert auf \( \mathbb N \times \mathbb N \) eine Äquivalenzrelation vermöge
(a,b) ~ (c,d) <=> a + d = c + b
Die Faktormenge ist dann ein Modell für die ganzen Zahlen \( \mathbb Z \).
Ist \( n \in \mathbb N \), dann wird
n durch die Restklasse von (n,0)
und
-n durch die Restklasse von (0,n)
repräsentiert.