Equivalence relationsn are a type of binary relation that allows a set to be divided into subsets such that the study of the set formed by a representative of each subset is sufficient. This OVA explains the most important notions based on the definition of an equivalence relation and the way in which the set of partitions is obtained.