Definition and statement
📐 Geometric Interpretation
Geometrically, if sample space $\Omega$ is represented by a region of total area $1$, the event $B$ restricts our universe to a sub-region of measure $P(B)$. The conditional probability $P(A \mid B)$ is the ratio of the overlapping area $P(A \cap B)$ to the newly restricted total base area $P(B)$.
⚙️ Algebraic & Structural Meaning
Algebraically, conditional probability defines a new probability measure $P_B(\cdot) = P(\cdot \mid B)$ on the original $\sigma$-algebra, satisfying all Kolmogorov axioms of probability provided the conditioning event has strictly positive measure.