algebraic closure operator
noun1
Algebra, Mathematics, Sciences A function on a set that assigns to each subset the smallest algebraic structure containing it, satisfying extensivity, monotonicity, and idempotence.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.