With an equivalence relation, it is possible to partition a set into distinct equivalence classes. As an example, consider the set of all animals on a farm and define the following relation: two animals are related if they belong to the same species. Under this relation, a cow is related to an ox, but not to a chicken. In fact, this relation is an equivalence relation because: