定義
G を群とする。
集合としての G は G の正則表現（>>11）により G-集合と見なされる。
X を G-集合（過去スレpart5の77）とする。
X が G-集合として G と 同型（>>279）なとき X を正則（regular）な G-集合という。