定義
G を群とする。
X を G-集合（過去スレpart5の77）とする。
P(X) を X の冪集合とする。
Q を P(X) の部分集合とする。
X 上の G-不変（>>297）な同値関係 〜 があり Q がその同値類全体と一致するとき
Q を G-集合 X のブロック系（block system）という。
Q の各要素をそのブロックという。