Difference between revisions of "Closure"

(creation)
 
m (link)
Line 5: Line 5:
  
 
==Examples==
 
==Examples==
*The real number system <math>\mathbb{R}</math> has closure in [[addition]], [[subtraction]], [[multiplication]], [[division]], [[exponentation]], and also higher level operations such as <math>a \uparrow \uparrow b</math>.
+
*The real number system <math>\mathbb{R}</math> has closure in [[addition]], [[subtraction]], [[multiplication]], [[division]], [[exponentiation]], and also higher level operations such as <math>a \uparrow \uparrow b</math>.
 
*The rational number system <math>\mathbb{Q}</math> has closure in [[addition]], [[subtraction]], [[multiplication]], and [[division]]
 
*The rational number system <math>\mathbb{Q}</math> has closure in [[addition]], [[subtraction]], [[multiplication]], and [[division]]
 
*The natural and whole number system <math>\mathbb{Z}^+,\mathbb{Z}^0</math> has closure in [[addition]] and [[multiplication]].
 
*The natural and whole number system <math>\mathbb{Z}^+,\mathbb{Z}^0</math> has closure in [[addition]] and [[multiplication]].

Revision as of 00:03, 19 November 2007

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