The document explains relations in discrete mathematics, defining them as the relationships between two sets, denoted as the domain and range. It describes various types of relations, including empty, universal, identity, inverse, reflexive, symmetric, transitive, and equivalence relations. It also notes that while all functions are relations, not all relations are functions.