 Hechler forcing

A Hechler condition is a pair $(s,f)$ consisting of a finite sequence $s\in {\omega }^{<\omega }$ and a function $f\in {\omega }^{\omega }$. An extension lengthens the stem, increases the side function, and places every new stem value above the old side function. The generic union is a dominating real.