spezielles Element einer Ordnung.

Ist (M, ≤) eine Ordnung, und sind a, b ∈ M so, daß a ≤ b ist, so heißt die Unterordnung der Menge {x ∈ M : a ≤ x ≤ b} auch Intervall [a, b] von M. Gilt für a ≤ b, daß |[a, b]| = 2, d. h. folgt aus a ≤ x ≤ b, daß x = a oder x = b ist, so sagt man b bedeckt a und man schreibt a ⋖ b. Ein Element, das ein anderes Element bedeckt, heißt bedeckendes Element.