algebraic closure operator
noun1
- A function on a set that assigns to each subset the smallest algebraic structure containing it, satisfying extensivity, monotonicity, and idempotence.
This dictionary works without the internet: on your phone · in Chrome