for S being GraphMeetSet
for G being GraphMeet of S
for H being Element of S holds H is Supergraph of G