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