eigentlich korrekter bezeichnet als Halbordnungsrelation, auch Partialordnung oder manchmal auch teilweise geordnete Menge genannt, eine Menge V, in der eine zweistellige Relation R ⊆ V × V erklärt ist, die reflexiv, transitiv und antisymmetrisch ist.

Man schreibt in der Regel „(V, R) ist eine Halbordnung“, um zu verdeutlichen, bezüglich welcher Relation R die Menge V eine Halbordnung ist.

Zumeist verwendet man für die Relation R das Symbol ≤ oder ⊆.

Ist a R b, also a ≤ b bzw. a ⊆ b, so wird in der Regel die Sprechweise „a ist kleiner gleich b“, „b ist größer gleich a“ oder „b umfaßt a“ verwendet.

Ist a R c und c R b, also a ≤ c ≤ b bzw. a ⊆ c ⊆ b, so sagt man, daß „c zwischen a und b liegt“ oder „c liegt im Intervall [a, b]“.

Ist a ≤ b und a = b, so wird in der Regel die Schreibweise a < b verwendet.

Die Menge aller natürlichen Zahlen bildet bezüglich der Relation „a teilt b“ eine Halbordnung.