Closure operator/Definition

An idempotent unary operator on subsets of a given set, mapping a set to a larger set with a particular property.