Äquivalenzrelation

Eine Relation ist eine Äquivalenzrelation, wenn sie

- reflexiv (siehe reflexive Relation),
- symmetrisch (siehe symmetrische Relation) und
- transitiv (siehe transitive Relation)

ist.