Sección 2.1.2 Números de tipo real terminada