## Probability Measure

**is an abstract direct subtype of Function with direct subtypes Probability Measure subtypes that represents a generic probability measure defined on some Sigma Algebra over a certain domain.**

*Probability Measure*The exact measure, Sigma Algebra and domain are not specified here.

They are defined in the derived types representing concrete probability measures.