for O being set
for G being GroupWithOperators of O
for A being Subset of G holds the carrier of (the_stable_subgroup_of A) = meet { B where B is Subset of G : ex H being strict StableSubgroup of G st
( B = the carrier of H & A c= carr H ) }