Es decir, formula_12 es base de entornos de formula_5 si y sólo si: