reconsider X = {} as PartFunc of the_Edges_of G, {} by RELSET_1:25;
G .set ELabelSelector ,X is [ELabeled] ;
hence G .set ELabelSelector ,{} is [ELabeled] ; :: thesis: verum