Für zwei Mengen und nennt man eine Teilmenge des kartesischen Produkts eine Relation. Man notiert auch in der Form Eine Relation nennt man eine binäre Relation auf M. Eigenschaften von Relationen Reflexive Relation Symmetrische Relation Antisymmetrische Relation Transitive Relation Siehe auch Ordnungsrelation Äquivalenzrelation