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).

ABA \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 ABA \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

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

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


More Examples

AABBABA \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.

AB=A \cap B = \emptyset

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


Properties

Intersection with itself:

AA=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):

AB=BAA \cap B = B \cap A

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

Grouping doesn’t matter (associative):

(AB)C=A(BC)(A \cap B) \cap C = A \cap (B \cap C)

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


The Formal Definition

AB={xxA and xB}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?