Sei R eine Menge und eine Relation, die zwischen einigen der Elemente aus R besteht. Sei weiter mR ein Element, für das xm xR gilt, dann heißt das Paar (R,) eine teilgeordnete Menge mit maximalem Element m .