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