Supermodularity and subadditivity properties of the entropy on the majorization lattice

We prove that the entropy is a supermodular and subadditive function on the lattice of all n-dimensional probability distributions, ordered according to the partial order relation defined by majorization among vectors.