$(\forall a \in A)(\inf A \leq a)$ $\Rightarrow(\forall \alpha.a \in \alpha.A )(\alpha.a \geq \alpha.\inf A)$
$\Rightarrow \alpha.\inf A \in (\alpha.A)^{a} \dots(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 (**)$