Esto establece que "f"formula_35"f" es de hecho un operador de clausura sobre "A".