Dominating family
= Dominating family
{title2=$\forall f\ \exists g\in C\ f\leq^*g$}
A family $C\subseteq\omega^\omega$ such that every $f\in\omega^\omega$ is eventually dominated by some $g\in C$.
= Dominating family
{title2=$\forall f\ \exists g\in C\ f\leq^*g$}
A family $C\subseteq\omega^\omega$ such that every $f\in\omega^\omega$ is eventually dominated by some $g\in C$.