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