algebraic closure operator