A graph is called dominating if its vertices can be labelled with inte
gers in such a way that for every function f:omega --> omega the graph
contains a ray whose sequence of labels eventually exceeds f. We obta
in a characterization of these graphs by producing a small family of d
ominating graphs with the property that every dominating graph must co
ntain some member of the family.