定義
G を群とする。
X を G-集合（過去スレpart5の77）とする。
このとき G は集合 X に作用するという。

X が忠実（過去スレpart5の843）な G-集合のとき G は X に忠実に作用するという。
X が推移的（過去スレpart5の107）な G-集合のとき G は X に推移的に作用するという。
X が正則（>>280）な G-集合のとき G は X に正則に作用するという。