作用の性質を表す言葉
- transitive という言葉がある。推移的だが、可移的 (かいてき), 可遷的 (かせんてき) ともいう。transition＝遷移の遷と移だ。推移律の推移とは趣が違うので、「遷」「移」を使ったほうがいいだろう。transitiveの意味は、X の任意の元 x に対して Gx = X が成り立つこと。
- 忠実 (faithful) あるいは効果的 (effective) は、End(X)への写像としての表現の単射性。
- 自由（free）とは、「X の任意の元 x に対して g • x = h • x となるのは g = h であるときに限る」こと。
- 自由かつ推移的なら等質空間
action, transitive, faithful, freeとかで検索すると：
