~/tedtes/writing/math-foundations-for-reasoning-models

~/writing/math-foundations-for-reasoning-models $ ls

Sets, Relations, and Functions

Union

The union of two sets contains everything that belongs to either set.

~/writing/math-foundations-for-reasoning-models $ cat topic.md

Union

Definition

The union of two sets contains every element that belongs to either set.

Example:

A = {1, 2}
B = {2, 3}

Union:

A union B = {1, 2, 3}

Union combines membership from both sets.


Union Keeps Distinct Elements

The element 2 appears in both sets:

A = {1, 2}
B = {2, 3}

But the union contains it once:

{1, 2, 3}

Sets do not count repeated membership as duplicate elements.

Union follows set membership, not repeated listing.


Union As OR

Union is similar to logical OR.

An object belongs to:

A union B

if:

it belongs to A OR it belongs to B

Example:

2 belongs to A
2 belongs to B

So 2 belongs to the union.

Union generalizes OR over set membership.


Why Union Matters

Union lets us combine domains or categories.

Example:

Even = {2, 4, 6}
Odd = {1, 3, 5}

Union:

{1, 2, 3, 4, 5, 6}

This creates a larger collection from smaller collections.

Union builds larger sets from alternatives.


Final Summary

  • Union contains elements from either set.
  • Duplicate appearances do not matter.
  • Union behaves like OR for membership.
  • Union combines domains or categories.
  • Union creates a larger set from multiple sets.

~/writing/math-foundations-for-reasoning-models $ open

Continue the series.

Intersection