not ELabelSelector in _GraphSelectors by ENUMSET1:def 2;
hence G .set ELabelSelector ,X is [Graph-like] by GLIB_000:13; :: thesis: verum