>>348の｛Ａ｝⊂Ｃ(Ｑ)が下に有界であることの証明なんですが、これであってますか？
Ｉ2∈Ｃ(Ｑ)でＡ⊂Ｉ2である
∴ｘ∈Ｃ(Ｑ)で∀ｙ∈｛Ａ｝に対してｘ⊂ｙとなるｘが存在するので、｛Ａ｝⊂Ｃ(Ｑ)は下に有界である