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


Referenced by: