一番を決めるだけなら順序集合である必要は無い件について