 Dominating real

A function $d\in {\omega }^{\omega }$ dominates $h\in {\omega }^{\omega }$ when $d(n)>h(n)$ for all but finitely many $n$. A dominating real over a ground model dominates every such function belonging to that model.