 For subsets of the real line, the Menger property can be characterized using continuous functions into the Baire space formula_4.For functions formula_5, write formula_6 if formula_7 for all but finitely many natural numbers formula_8.A subset formula_9 of formula_4 is dominating if for each function formula_11 there is a function formula_12 such that formula_13.