Por definición de abierto, esto quiere decir que para cada punto formula_3 en formula_2, hay una celda formula_5 contenida en formula_2.