Kompletthetsaksiomet for reelle tall sier at enhver ikketom delmengde av de reelle tall som er opptil begrenset, har en minste øvre skranke i .