:: deftheorem Def1 defines plain GLIB_009:def 1 :
for G being _Graph holds
( G is plain iff dom G = _GraphSelectors );