Start=Repräsentantensystem (Äquivalenzrelation)
Ziel=Äquivalenzrelation/Repräsentantensystem/Definition