非空な順序部分集合が上に有界であるとともに、上界からなる集合が最小元を持つ場合、それを上限と呼びます。また、非空な順序部分集合が下に有界であるとともに、下界からなる集合が最大元を持つ場合、それを下限と呼びます。