for O being set
for G being GroupWithOperators of O
for H being strict StableSubgroup of G holds the_stable_subgroup_of (carr H) = H