The document discusses types of relations. It defines empty relation, universal relation, reflexive relation, symmetric relation and transitive relation. An equivalence relation is a relation that is reflexive, symmetric and transitive. An equivalence relation partitions a set into mutually exclusive and exhaustive equivalence classes. Elements within an equivalence class are related to each other under the relation, while elements of different classes are not related. Examples of equivalence relations and their equivalence classes are provided.