Hallo,

eine Partition einer Menge M ist eine Menge von Teilmengen von M die disjunkt sind. 
Beispiel: \( M = \{ 1,2,3 \} \) eine mögliche Partition wäre \( P := \{ \{1,2\} , \{3\}\} \).

Warum ist das nun eine Äquivalenzrelation? Wir können dieses disjunkten Teilmengen als Äquivalenzklassen ansehen. 
Die Äquivalenzklasse \( \{1,2\} \) bedeutet dann das \( 1 \sim 2 \) und \( 2 \sim 1 \) (Antisymmetrie), aber auch \( 1 \sim 1 \) und \( 2 \sim 2 \) (Reflexivität). Für die Menge \( \{3 \} \) erhalten wir \( 3 \sim 3 \). 
Die Transitivität wird durch die Disjunktheit der Teilmengen gewährleistet. Ist dir klar warum?

Nun kannst du das ganze nochmal von der anderen Seite dir angucken. 

Nimm dir mal eine Äquivalenzrelation und bastel dir daraus die Menge der Äquivalenzklassen. Das die Äquivalenzklassen Teilmengen von \( M \) sind ist denke ich sehr einleuchtend oder?

Auch hier steht die Disjunktheit der Teilmengen mit der Transitivität in Verbindung. Ist dir klar warum das gilt?

Grüße Christian