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