>>354に鑑みて>>343を以下のように修正する。

定義
G を群とする。
X を推移的（過去スレpart5の107）な G-集合（過去スレpart5の77）とする。
|X| ≧ 2 であり X 上の G-不変な同値関係で自明（>>342）でないものは存在しないとき
X を原始的（primitive）な G-集合という。