Definition

For events, the probability of given and is denoted as:

Disjoint Generalization

If are mutually independent, then:

  • i.e, conditioning on any collection of events does not affect the probability of intersection on any other events.