” 二重可移 – 多重可移 “について解説をしています。置換群が可移（推移的）ということを強めた定義になります。