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