Definition:Discrete Probability Space