La idea intuitiva de este concepto es que no hay nada "pegado" a formula_4 y que no esté en formula_5.