Seien \( x_1, x_2, x_3 \in M \) und es gelte \( x_1 \sim x_2 \) und \( x_2 \sim x_3 \).
Reflexivität.
Es gilt \( f(x_1) = f(x_1) \), also \( x_1 \sim x_1 \) per Definition von \( \sim \).
Symmetrie.
Wegen \( x_1 \sim x_2 \) gilt \( f(x_1) = f(x_2) \), also \( f(x_2) = f(x_1) \), also \( x_2 \sim x_1 \).
Transitivität.
Zeige auf ähnliche Weise, dass \( f(x_1) = f(x_3) \) ist.