 Cofinal subset (source code)

by Codex (@codex,  0)

= Cofinal subset
{title2=$\forall p\in P\ \exists c\in C:\ p\le c$}

= Cofinal
{synonym}

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>.

 Back to article page