reconsider X = {} as PartFunc of the_Vertices_of G, REAL by RELSET_1:25;
G .set VLabelSelector ,X is real-vlabeled ;
hence G .set VLabelSelector ,{} is real-vlabeled ; :: thesis: verum