Probability Measure

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.
The exact measure, Sigma Algebra and domain are not specified here.
They are defined in the derived types representing concrete probability measures.