定義
G を群とする。
X を G-集合（過去スレpart5の77）とする。
X の各元 x に対して Stab(x)（>>282）= 1 となるとき
X を半正則（semiregular）という。