点集合の上限・下限

n次元空間上の非空な部分集合に対して、その上限や下限を定義します。上に有界な点集合には上限が、下に有界な点集合には下限がそれぞれ存在します。