Probability Measure is a Type that represents a generic probability measure defined on some Sigma Algebra over a certain domain. The exact measure, Sigma Algebra and domain are not specified here. They are defined in the derived types representing concrete probability measures.