Union: Difference between revisions
Jump to navigation
Jump to search
imported>Mirzhan Irkegulov m (Primitive stub made. Math specialists, please improve (=) |
imported>Richard Pinch (see also: Disjoint union) |
||
| Line 10: | Line 10: | ||
===Finite unions=== | ===Finite unions=== | ||
===Infinite unions=== | ===Infinite unions=== | ||
==See also== | |||
* [[Disjoint union]] | |||
Revision as of 14:46, 4 November 2008
In set theory, union (denoted as ∪) is a set operation between two sets that forms a set containing the elements of both sets.
Formally, union A ∪ B means that if a ∈ A ∪ B, then a ∈ A ∨ a ∈ B, where ∨ - is logical or. We see this connection between ∪ and ∨ symbols.
Union operation is:
- associative - (A ∪ B) ∪ C = A ∪ (B ∪ C)
- commutative - A ∪ B = B ∪ A.