In a Plünnecke graph, the image of a set formula_130 in formula_104, written formula_132, is defined to be the set of vertices in formula_104 which can be reached by a path starting from some vertex in formula_46.