§２−１． P.8のi),ii)の条件を満たすことを示す． が空でないので，元が存在するが，問題の条件よりが分かる. 任意の元に対して，問題の条件よりなので，ii)が成立している．任意の2元に対して,はすでにわかっているから，より, i) が成立する．逆にi), ii)…