Closure of an operation
Definition
Given $A \subseteq B$ and some operation $\star : A^2 \to B$, if always $x \star y \in A$ we say that $A$ is closed under $\star$. We may equivalently say that $\star$ is closed or has closure.

Referenced by: