covering relation

Let $S$ be a partially ordered set (poset). A covering relation in a poset is notated

a ⋖ b

if there does not exist a $c \in S$ satisfying that $a < c < b$ .