Intersection

What is Intersection?

You and your friend both have playlists. You want to find songs you both have.

That’s intersection — only what’s shared.

Symbol: ∩\cap — looks like a cap (the overlap).

A∩BA \cap B

This reads: “A intersect B”


Example

A={1,2,3}A = \{1, 2, 3\} B={3,4,5}B = \{3, 4, 5\}

Find A∩BA \cap B:

Check each element — is it in both sets?

  • 1: in A, not in B → out
  • 2: in A, not in B → out
  • 3: in A, in B → keep
  • 4: not in A → out
  • 5: not in A → out

A∩B={3}A \cap B = \{3\}

If it’s not in both, it’s out.


More Examples

AABBA∩BA \cap BWhy?
{a,b,c}\{a, b, c\}{b,c,d}\{b, c, d\}{b,c}\{b, c\}b and c are shared
{1,2}\{1, 2\}{3,4}\{3, 4\}∅\emptysetNothing in common
{1,2}\{1, 2\}{1,2,3}\{1, 2, 3\}{1,2}\{1, 2\}All of A is in B
{1,2,3}\{1, 2, 3\}∅\emptyset∅\emptysetEmpty set shares nothing

Disjoint Sets

When two sets share nothing, we call them disjoint.

A∩B=∅A \cap B = \emptyset

Examples: even and odd numbers, {1,2}\{1, 2\} and {3,4}\{3, 4\}.


Properties

Intersection with itself:

A∩A=AA \cap A = A

Everything in A is also in A, so you keep everything.

Intersection with empty set:

A∩∅=∅A \cap \emptyset = \emptyset

The empty set has nothing to share.

Order doesn’t matter (commutative):

A∩B=B∩AA \cap B = B \cap A

“What we both have” is the same from either perspective.

Grouping doesn’t matter (associative):

(A∩B)∩C=A∩(B∩C)(A \cap B) \cap C = A \cap (B \cap C)

When finding what three sets share, the grouping doesn’t matter.


The Formal Definition

A∩B={x∣x∈A and x∈B}A \cap B = \{x \mid x \in A \text{ and } x \in B\}

This reads: “The set of all xx such that xx is in A and xx is in B.”

Intersection asks: is it in both sets?