diss: sets of probability distributions, lower envelope theorem