theorem :: GLIB_014:39

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