Event independence
Two events are independent when their intersection probability equals the product of their marginal probabilities; this definition does not rely on conditioning on a zero-probability event.
atlas-event-independence · canonical_mko