\input amstex

$$x=\sup A\;\Longleftrightarrow\;\cases
1^\circ\quad(\forall a\in A)\ a\leq x,\\
2^\circ\quad(\forall a\in A)\ a\leq y\;\Longrightarrow\;x\leq y.
\endcases$$
\bye