Shora omezená

Formula

Shora omezená $\iff$ má horní závoru $\iff$ $\sup M\in \mathbb{R}$ (supremum není nekonečno)