<mathematics> A set S is closed under an operator * if x*y is in S for all x, y in S.
(1994-12-16)
Try this search on Wikipedia, OneLook, Google