Cofinal map
= Cofinal map
{title2=$f:\delta\to\alpha$}
A map $f:\delta\to\alpha$ whose range is cofinal: every $\xi<\alpha$ lies below or equals some $f(\eta)$. It need not be increasing.
= Cofinal map
{title2=$f:\delta\to\alpha$}
A map $f:\delta\to\alpha$ whose range is cofinal: every $\xi<\alpha$ lies below or equals some $f(\eta)$. It need not be increasing.