Closure (mathematics)

Operation on the subsets of a set
Abstract

In mathematics, a subset of a larger set is closed under a given operation on the larger set if performing that operation on members of the subset always produces a member of that subset. For example, the natural numbers are closed under addition, but not under subtraction: 1 − 2 is not a natural number, although both 1 and 2 are.

Wikipedia