die Klassen dieser Äquivalenzrelation kannst du jeweils als Menge aller rationalen Zahlen, also aller Brüche, verstehen, die gleichnamig (mit einem bestimmten Nenner) sind.
Die Äquivalenzklasse des Paares \( (1, 1) \) entspricht dabei allen Brüchen mit Nenner \( 1 \). Diese Menge lässt sich (im weitesten Sinne) als mit \( \mathbb{Z} \) identifiziert auffassen, also die Menge aller ganzen Zahlen.
Ein Repräsentantensystem entsteht durch die Menge aller Brüche, die im Zähler eine \( 1 \) haben und im Nenner ein Element aus \( \mathbb{Z} \):
\( \mathbb{Z} \times \mathbb{Z} /R = \{ [(1, z)] : z \in \mathbb{Z} \} \),
wobei \( R \) die gegebene Äquivalenzrelation ist.
Mister