Eine Teilmenge R von M × N heißt eine (binäre) Relation. Gilt M = N, dann nennt man R homogen. Eine homogene Relation heißt:
Eine reflexive, antisymmetrische und transitive homogene Relation auf M × M heißt eine (partielle) Ordnungsrelation.
Eine Menge M mit einer Ordnungsrelation R heißt eine (partielle) Ordnung.