x1 (set/space) is closed under operator/relation x2; x2 has closure in x1.
If x2 is an operator, then for any n-tuple of elements in x1, the application of x2 to that tuple produces an output which is also in x1. The gismu form of this word is "kloje".