for G, H being _Graph holds
( G is GraphMeet of {H} iff G == H )