>>上界を持つなら極大元を持ち、

ここはよくわからない。

>>必ず極大元は最大元に一致するので

ここはよいのではないか。

>>最大元を持つことになります。

「極大元をもつなら」ということではOKだが。