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