Auf jeder Menge M {\displaystyle {}M} ist die identische Relation, also die Relation, bei der jedes Element nur mit sich selbst in Relation steht, eine Ordnungsrelation.
