Closure

Closure is a property of an abstract algebraic structure, such as a set, group, ring, or field

Definition

An algebraic structure $\mathbb{S}$ is said to have closure in a binary operation $\times$ if for any $a,b\in \mathbb{S}$, $a\times b\in \mathbb{S}$. In words, when any two members of $\mathbb{S}$ are combined using the operation, the result also is a member of $\mathbb{S}$.

Examples

See Also