Es sei
M
eine Menge
und
~
eine zweistellige
Relation in
M
.
~
heißt
Ä
quivalenzrelation
in
M
=
Df
F
ü
r alle
a
,
b
,
c
∈
M
gilt:
(1)
a
~
a
,
(Reflexivit
ä
t)
(2) wenn
a
~
b
und
b
~
c
,
so
a
~
c
,
(Transitivit
ä
t)
(3) wenn
a
~
b
,
so
b
~
a
.
(Symmetrie)
