20170422

X を群とし, Y を X の部分群全体からなる集合とすると, Y は包含関係について全順序集合の時とそうでない時がある.
同じ条件で X が有限巡回群で元の個数がある素数の整数乗ならば, Y は包含関係について全順序集合である.