Es decir, formula_8 si y solo si es "V" es abierto, está contenido en "A" y todo otro abierto contenido en "A" está contenido también en formula_9 (ver #Ejemplos).