Cofinal subset ($\forall p\in P\exists c\in C:p\le c$)

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.