Matematyka.pl

Jak wykazać, że:
\(\displaystyle{ a=\sup E \Leftrightarrow ( \bigwedge e \in E, \ a \geqslant e) \wedge ( \bigwedge \varepsilon>0 \ \ \bigvee e E: \ a-\varepsilon}\)

Z tego co sobie przypominam, to to, co jest zapisane, to jest właśnie definicja supremum, a definicji się nie dowodzi.