:: deftheorem Def11 defines the_stable_subgroups_of GROUP_9:def 11 :
for O being set
for G being GroupWithOperators of O
for b₃ being set holds
( b₃ = the_stable_subgroups_of G iff for x being object holds
( x in b₃ iff x is strict StableSubgroup of G ) );