 Cofinal subset

A subset $C$ of an ordered set $P$ is cofinal if every element of $P$ is at most some element of $C$. For an ordinal, a cofinal subset has the whole ordinal as its supremum.