今ちょっと整列集合Wでランク付けされた半順序集合P（Pの中でx < yなら、Wの中で「xのランク」< 「yのランク」）について考えています。ランクを持つPの元全体を（空でないとする）と書き、以下の二つの条件 任意のについて、wがWの最大元でないなら、あるが…