:: deftheorem Def25 defines bool GRAPH_1:def 25 :
for G being Graph
for b₂ being set holds
( b₂ = bool G iff for x being object holds
( x in b₂ iff x is strict Subgraph of G ) );