上に有界
$ Aは上に有界:\iff \exists x\in X\forall a\in A; a\le x
「上に
有界
」とは、「
上界
が存在する」という意味である
同値な論理式
$ \mathcal{U}(A)\neq\varnothing
References
『解析概論』
p. 4
「
上方に有界
」と表現されている
#2021-07-14
17:10:32