# Convex subset

of a partially ordered set

A subset containing with any two elements $a$ and $b$ the entire interval $[a,b]$ (cf. Interval and segment).

A definition not involving the notion of interval is: A subset $A$ of a partially ordered set is convex if $a\leq b\leq c$ and $a,c\in A$ imply $b\in A$.