的有界性概念不对应于“大小”的概念。偏序集合 "P" 的子集 "S" 叫做上有界的，如果对于所有 "S" 中的 "s"，有 "P" 中一个元素 "k" 使得 "k" ≥ "s"。元素 "k" 叫做 "S" 的上界。可类似的定义下有界和下界。（参见上界和下界。）偏序集合 "P" 的子集 "S" 叫做有界的，如果它有上界和下界二者，或等价的说，它被包含在一个区间内。注意这不是集合 "S" 自己的一个性质，而是集合 "S" 作为 "P" 的子集的性质。有界偏序集合 "P"（就是说自身就是有界而不是作为