theorem :: GLIB_014:2

for X being set st ex Y being Graph-membered set st Y in X holds
meet X is Graph-membered