Real numbers/Nested intervals/Definition