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