:: deftheorem Def29 defines GraphMeet GLIB_014:def 29 :
for S being GraphMeetSet
for b₂ being _Graph holds
( b₂ is GraphMeet of S iff ( the_Vertices_of b₂ = meet (the_Vertices_of S) & the_Edges_of b₂ = meet (the_Edges_of S) & the_Source_of b₂ = meet (the_Source_of S) & the_Target_of b₂ = meet (the_Target_of S) ) );