Closure

Let $f$ be an operator that produces some elements in a set $S$ by combining 1 or more elements of $S$. A subset $X$ of $S$ is said to be closed if the set of elements produced by $f$ by operating it on all elements of $X$, is equal to $X$.