Nótese que, de acuerdo a la definición anterior, si formula_84, entonces, puesto que en ese caso formula_85 implica formula_29 para cualquiera que sea el conjunto formula_1 y el elemento formula_73, el conjunto formula_89 lo contiene todo.