Äquivalenzrelation/Repräsentantensystem/Definition

Repräsentantensystem

Es sei $\sim$ eine Äquivalenzrelation auf einer Menge $M$. Eine Teilmenge  $T\subseteq M$  heißt ein Repräsentantensystem für die Äquivalenzrelation, wenn es für jede Äquivalenzklasse genau ein Element in $T$ aus dieser Klasse gibt.