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