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