상한 공리는 무엇입니까?

상한 공리란?

상한 공리, 또는 최소 상계 공리(最小上界公理, 영어: least upper bound axiom)는 가장 일반적으로 적용되는 형태로, 특정 실수의 부분 집합이 상계를 지니는 경우 필수적으로 상한을 존재해야 한다고 정의됩니다. 반면에, 유리수는 이러한 완비성을 충족하지 않습니다.