A relation puts pairs of elements into correspondence. Depending on the properties it enjoys — reflexive, symmetric, antisymmetric, transitive — one obtains the two great families: equivalence relations, which partition a set into classes, and order relations, total or partial, which are visualised with the Hasse diagram.