for G being VGraph
for v, x being set st v in the_Vertices_of G holds
(G .labelVertex (v,x)) .labeledV() = (G .labeledV()) \/ {v}