最小上界

设 是一个非空集合，包含具有上界的实数。那么一个数字 被称为 的最小上界（或上确界，记为 ），当且仅当它满足以下性质

1. 对于所有 。

2. 对于所有实数 ，如果 是 的上界，则 。