최소상계공리

상한공리 또는 최소상계공리(least upper bound axiom)는 해석학의 공리중 하나로 자세한 내용은 다음과 같다.

최소상계공리

• 모든 위로 유계인 부분집합은, 최소상계를 갖는다.

최대하계공리

비슷하계 위와 동등한 공리로 최대하계공리가 있다.

• 모든 아래로 유계인 부분집합은, 최대하계를 갖는다.