Initial segment

Initial segments

An initial segment, determined by an element ${\displaystyle x}$ of a poset${\displaystyle X}$, is a subset of form ${\displaystyle \{y\in X\mid y<x\}}$. By convention, ${\displaystyle X}$ itself is also counted as an (improper) initial segment.