上确界 [数] supremum ; least upper bound
下确界 infimum ; [数] greatest lower bound ; inf
本性下确界 vrai minimum ; essential infimum
本性上确界 vrai maximum ; essential supremum
上确界度量 supremum metric
上确界范数 supremum norm
本质上确界 essential supremum
很精确界定 be most precisely defined
上确界定理 theorem of supremum
殆上确界 essential supremum
“ T ”的操作规范是“ h ”的本质上确界。
这正好是上确界存在性的序列形式。
It is just the sequential form of the existence of least upper bounds.
实数集的上确界公理用到了实数集的子集，这是一种二阶逻辑的陈述。
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.
应用推荐