Theoretical Probability Definition