Se dice que formula_3 es hiperconexo o irreducible si cuando formula_4, donde formula_5 y formula_6 son cerrados entonces formula_7.