記法
G を群とする。
X を G-集合（>>77）とする。
S を G の部分集合とする。
Fix(S) = {x ∈ X；全ての s ∈ S に対して sx = x} と書く。