Un intervalo formula_7 es un subconjunto de formula_8 que verifica la siguiente propiedad: