タイトルのように岩波の集合位相を読み進めているのですが,Zornの補題の証明で躓いています
Zornの補題
を帰納的順序集合,とすれば,の極大元でとなるものが存在する.
(途中まで)
とし,の上界に対してとなるようなが存在すれば定理は成り立つ.よってとして矛盾を導けばよい.いま
とし,をの選出写像とする.について,は明らかにまたの元となるから
のように証明がなされているのですが,最後に記した一行で躓いています.が鎖となれば,つまりの任意の元についてとなればよいと思うのですが,べき集合についてが全順序であるというような仮定がないため,どのようにしての元の間で順序関係を考えているのかがわかりません.
どなたか教えてください!!!
厳密性に関するのであればどのような厳しい言い方であってもけっこうです(むしろ厳密なら歓迎)(アホやバカなどの言い方は嫌です)