nach oben beschränkte Halbordnung, eine Halbordnung (V, ≤), die ein Element x enthält, das größer gleich jedem anderen Element y ∈ V ist, für das also y ≤ x für alle y ∈ V gilt.

Das Element x, das selbst aus V sein muß, heißt Einselement der Halbordnung (V, ≤). In der Regel bezeichnet man das Einselement mit 1.

Enthält eine Halbordnung ein Einselement, so ist es wegen der Asymmetrie der Halbordnung eindeutig bestimmt.