Ein Repräsentantensystem zu einer Äquivalenzrelation ∼ {\displaystyle {}\sim } auf einer Menge M {\displaystyle {}M} .