A binary relation is said to be an equivalence
relation if the following
three statements hold:
Given objects which are related via an equivalence
relation, it is possible to partition the objects into groups where
all objects within a group are related and two objects from different
groups are not related. These groups are called equivalence classes.