:: deftheorem Def2 defines plain GLIB_014:def 2 :
for S being Graph-membered set holds
( S is plain iff for G being _Graph st G in S holds
G is plain );