Eventual domination
= Eventual domination
{title2=$f\leq^*g$}
For functions $f,g:\omega\to\omega$, write $f\leq^*g$ when $f(n)\leq g(n)$ for all sufficiently large $n$. A <dominating family> is cofinal for this relation.
= Eventual domination
{title2=$f\leq^*g$}
For functions $f,g:\omega\to\omega$, write $f\leq^*g$ when $f(n)\leq g(n)$ for all sufficiently large $n$. A <dominating family> is cofinal for this relation.