Por lo que su intersección, formula_8 es un subconjunto cerrado de [0,1] ⊂ R.