Step 1: When you add \(|A|\) and \(|B|\), every element in the overlap \(A \cap B\) is counted twice.
Step 2: To fix the double counting, subtract the size of the intersection once.
Step 3: This gives the inclusion-exclusion formula: \[ |A \cup B| = |A| + |B| - |A \cap B|. \]