整列集合 を順序集合とし、 を順序関係とします。以下、面倒なので であるとき と表し、「順序集合 」と書くことにします。 さて、順序集合 の部分集合 に対し、 を満たす が存在するとき、これを の最小元と言い、 と表します。 が全順序集合で、(ただし ) …