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.

Similarly, a subset is said