Definition:Cumulative Distribution Function/Probability Spaces