Let and form a partition of .
The axioms of probability are positivity: ; finiteness: ; and additivity: if .
The partition law (extends additivity): .
The addition law: .
and are independent events if and only if .
The law of total probability is .
Conditional probability: .
Bayes Theorem: .