(∀a∈A)(infA≤a) ⇒(∀α.a∈α.A)(α.a≥α.infA)
⇒α.infA∈(α.A)a…(1)
(\alpha.A \neq \emptyset)((\alpha.A)^{Ü} \neq \emptyset) \Rightarrow \sup (\alpha.A)\in (\alpha A)^{Ü} \ldots(2)
(1),(2) \Rightarrow \alpha. \inf A \leq \sup (\alpha.A) \ldots (*)
\alpha.\inf A \geq^{?} \sup (\alpha.A) \ldots (**)