algebraic closure operator

A function on a set that assigns to each subset the smallest algebraic structure containing it, satisfying extensivity, monotonicity, and idempotence.