theorem :: GLIB_002:24

for G being _Graph holds union (G .componentSet()) = the_Vertices_of G