Consider the usual case of X being a product R V for some finite set V . The lattice condition on μ is easily seen to imply the following monotonicity, which has the virtue that it is often easier to check than the lattice condition: