Sea formula_4 un "intervalo" definido como un subconjunto de formula_5 de la forma: