In any graph G = (V,E) that is not necessarily finite, a graphoidal cover is a set ψ of nontrivial paths P1, P2, . . . , not necessarily open and called ψ -edges, such that (GC-1) no vertex of G is an internal vertex of more than one path in ψ, and (GC-2) every edge of G is in exactly one of the paths in ψ. A ψ -dominating set of G is then defined as a set D of vertices in G such that every ver...