closed set

A set S is closed under an operator * if x*y is in S for all x, y in S.