:: deftheorem Def1 defines Graph-membered GLIB_014:def 1 :
for X being set holds
( X is Graph-membered iff for x being object st x in X holds
x is _Graph );