:: deftheorem defines carr GROUP_9:def 23 :
for O being set
for G being GroupWithOperators of O
for H being StableSubgroup of G holds carr H = the carrier of H;