MathematicsDiscrete MathematicsEasy

Set Union

Also known as:Set SumLogical OR (set context)

The union of two sets A and B is the set containing all elements that are in A, in B, or in both, with no element repeated. Written as A ∪ B, it combines the members of both sets into a single collection. Set union is used in probability (combining events), database queries (SQL OR), and logic circuit design.

Key Formula

A ∪ B = { x | x is in A or x is in B }

LaTeX: A \cup B = \{ x \mid x \in A \text{ or } x \in B \}

SymbolMeaningUnit
AFirst setset
BSecond setset
xAn arbitrary elementelement

Worked Example

Problem

Let A = {2, 4, 6, 8} and B = {1, 2, 3, 4}. Find A ∪ B and |A ∪ B| using the inclusion-exclusion principle.

Solution

Step 1: List all distinct elements from both sets. — A ∪ B = {1, 2, 3, 4, 6, 8} Step 2: Use the inclusion-exclusion principle: |A ∪ B| = |A| + |B| − |A ∩ B| — |A| = 4, |B| = 4 — A ∩ B = {2, 4}, so |A ∩ B| = 2 — |A ∪ B| = 4 + 4 − 2 = 6

Answer

A ∪ B = {1, 2, 3, 4, 6, 8}, with |A ∪ B| = 6 elements.

Properties of Set Union

PropertyFormulaDescription
CommutativityA ∪ B = B ∪ AOrder of sets does not matter
Associativity(A ∪ B) ∪ C = A ∪ (B ∪ C)Grouping does not affect result
IdentityA ∪ ∅ = AUnion with empty set returns original set
IdempotencyA ∪ A = AUnion of a set with itself is the set
DominationA ∪ U = UUnion with universal set is universal set
Inclusion-Exclusion|A ∪ B| = |A| + |B| − |A ∩ B|Cardinality formula

Interactive Tools

Desmos — Set Visualizer

Draw and visualize set unions using geometry tools.

Open Tool

Khan Academy — Set Operations

Practice exercises on set union and related operations.

Open Tool

Wolfram Alpha

Compute set unions and generate Venn diagrams automatically.

Open Tool
Venn diagram with union of two sets shaded

Wikimedia Commons, CC BY-SA

Related Terms

From Latin "unio" (oneness, unity), itself from "unus" (one). In mathematics, the union symbol ∪ was introduced by Giuseppe Peano in his 1888 work "Calcolo geometrico".

unionset-theorydiscrete-mathematicsvenn-diagraminclusion-exclusion