Cofinal Subset

Last updated Nov 1, 2022

Let $A$ be a Partial Ordering and let $B \subset A$. We say $B$ is a Cofinal Subset of $A$ if $\forall a \in A$, $\exists b \in B$ s.t. $a \leq b$.