algebraic closure operator
English
Noun
- (mathematics, algebra) A function on a set that assigns to each subset the smallest algebraic structure containing it, satisfying extensivity, monotonicity, and idempotence.
- Coordinate term: topological closure operator