module Probability.ProbabilityMeasure.Terms where

import           Notes

makeDefs [
      "probability measure"
    , "probability"
    , "probability space"
    , "uniforme probability measure"
    , "discrete probability measure"
    ]

makeThms
    [ "Probability measure finite additivity"
    , "Union bound"
    ]

makeProps
    [ "Probability partition by intersection"
    , "Probability of union"
    , "Probability of difference"
    , "Probability subset implies smaller probability"
    ]
