# Covering element

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
An element directly following another element; more precisely, the expression "$b$ covers $a$ in the partially ordered set $(P,{<})$" means that $a < b$ and that there is no element $x\in P$ such that $a<x<b$: the interval $[a,b]$ is an atomic or elementary interval.