Upper and lower probabilities (source code)

= Upper and lower probabilities
{wiki=Upper_and_lower_probabilities}