定義
G を群とする。
X を G-集合（>>77）とする。
P(X) を X の冪集合、即ち X の部分集合全体とする。
P(X) は自然に G-集合となる。
即ち、g ∈ G、A ∈ P(X) のとき gA = {gx； x ∈ A} ∈ P(X) と定義する。