9.8-1 Theoretical Probability Formally Defined