WI1607. Wiskundige structuren. In de laatste paragraaf van deze module wordt het laatste axioma voor R besproken. Dit axioma heet ook wel de Fundamentele Eigenschap van R. Dit axioma zegt dat elke niet-lege naar boven begrensde deelverzameling van R een supremum heeft. Wat naar boven begrensd betekent en wat een supremum is, zal uiteraard besproken worden voordat dit axioma ingevoerd wordt. Met invoering van dit axioma zal duidelijk worden wat de verschillen zijn tussen Q en R. Het zijn beide geordende lichamen, maar met Q is iets geks aan de hand: er zitten "gaten" in.