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