:: deftheorem Def5 defines .allWSubgraphs() GLIB_004:def 5 :
for G being WGraph
for b₂ being non empty set holds
( b₂ = G .allWSubgraphs() iff for x being set holds
( x in b₂ iff ex G2 being WSubgraph of G st
( x = G2 & dom G2 = WGraphSelectors ) ) );