algebraic closure operator

名词noun

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