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