:: deftheorem defines the_Edges_of GLIB_014:def 19 :
for S being non empty Graph-membered set holds the_Edges_of S = { (the_Edges_of G) where G is Element of S : verum } ;