上限

函式 被稱為有上限 如果 對於其 定義域 內的所有 都成立。 最小上限 被稱為 上確界。一個集合如果有一個上限，則被稱為 有上界。