Sei (G,☺) eine abelsche Gruppe und H⊆G eine Untergruppe von G. Wir defienieren eine Realtion ≡ auf G durch
x≡ y⇔ x'☺y∈H, wobei x' das Inverse von x bezeichnet. Zu zeigen ist nun
a) ≡ ist eine Äquivalenzrelation
Wie kann ich hier Reflexivität, Symmetrie und Transitivität zeigen?