Real numbers/Intervals/Definition