reconsider X = {} as PartFunc of (the_Vertices_of G),{} by RELSET_1:25;
G .set (VLabelSelector,X) is [VLabeled] ;
hence G .set (VLabelSelector,{}) is [VLabeled] ; :: thesis: verum