theorem :: GLIB_014:1

for X being set st ( for Y being object st Y in X holds
Y is Graph-membered set ) holds
union X is Graph-membered