Definition and statement
📐 Geometric Interpretation
Visualized via Venn diagrams, the sum of areas of sets $A$ and $B$ counts their intersection $A \cap B$ twice. Subtracting $P(A \cap B)$ exactly corrects this double-counting, yielding the true area of the union.
⚙️ Algebraic & Structural Meaning
Rooted in the measure-theoretic axioms of Kolmogorov, specifically countable additivity and the inclusion-exclusion principle over Boolean algebras of events.