Relationen sind Beziehungen zwischen Mengen, welche allgemeiner als Funktionen sind. Die Äquivalenz- und Ordnungsrelationen sind Relationen mit zusätzlicher Struktur, welchein der Mathematik und der Informatik von besonderer Bedeutung sind. Bei der Äquivalenzrelation werden Elemente, welche sich nicht wesentlich unterscheiden, zusammengefasst und nicht mehr unterschieden. Mit einer Ordnungsrelation werden die Elemente einer Menge vergleichbar nach ihrer „Grösse“. Relationen sind beispielsweise grundlegend bei relationalen Datenbanken, in der Kryptographie und Codierungstheorie.