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