Ungleichungen
摘要
Definition. Sei M eine beliebigeMenge. Eine partielle Ordnung auf M (oder Halbordnung) ist ein Tupel (M, ≤), welches aus der Menge M und einer Relation ≤ besteht, sodass für alle \(x,\,y,\,z,\, \in \,M\) gilt: