Axiomatic definition of probability

axioms that define a probability measure; derive properties from them.
 * 1) 0 <= P(A) <= 1 for all A
 * 2) P(omega)=1 define omega
 * 3) P(A U B) = P(A) + P(B) if A and B are mutually exclusive

Wikipedia: Probability axioms