:: deftheorem defines .numComponents() GLIB_002:def 9 :
for G being _Graph holds G .numComponents() = card (G .componentSet());