ある実数aがfの上界（英語版）であるとは、X内のすべてのxに対してf(x)≤aが成立すること、すなわち、集合{x∈X|f(x)>a}が空であることを言う。
实数a称为f的上确界，如果对于X内的所有x，都有f(x)≤a，也就是说，集合{x∈X:f(x)>a}{\displaystyle\{x\inX:f(x)>a\}}是空集。