Een equivalentierelatie is een relatie die
reflexief is (elk element is equivalent met zichzelf)
symmetrisch ( als
a
equivalent is met
b
, dan ook
b
met
a
)
transitief ( als
a
equivalent is met
b
, en
b
met
c
dan ook
a
met
c
)