meet (the_Vertices_of {G}) = meet {(the_Vertices_of G)} by Th5
.= the_Vertices_of G by SETFAM_1:10 ;
hence {G} is /\-tolerating by Th34; :: thesis: verum