Beschreibe typische Äquivalenzklassen zur Äquivalenzrelation ${\displaystyle {}\sim }$ auf ${\displaystyle {}\mathbb {Z} \times \mathbb {Z} }$, die durch die Additionsabbildung

${\displaystyle +\colon \mathbb {Z} \times \mathbb {Z} \longrightarrow \mathbb {Z} ,\,(x,y)\longmapsto x+y,}$

im Sinne von Fakt