Element einer Äquivalenzklasse.

Es seien M eine Menge und ∼ eine Äquivalenzrelation auf M. Für beliebiges a ∈ M bezeichnet man die Menge {x ∈ M| a ∼ x} als die Äquivalenzklasse [a]. Ist dann [a] ⊆ M eine beliebige Äquivalenzklasse bezüglich der Äquivalenzrelation ∼, so heißt jedes Element x ∈ [a] ein Repräsentant oder auch Prototyp dieser Klasse.

Interessiert man sich bei den Elementen von M nur für die Eigenschaften, die im Hinblick auf ∼ von Bedeutung sind, so genügt es, einen Prototypen einer Klasse zu betrachten, um die gesamte Klasse zu erfassen.