non strict Partial order

Eine homogene Relation auf der Menge \(M\) heißt Halbordnung, wenn folgende Forderungen erfüllt sind:

• reflexive Relation
• Antisymmetrische Relation
• transitive Relation