Menge/Identität/Ordnung/Beispiel

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