For every , sample independent and set . Then each has the required Bernoulli product law and whenever . This is the monotone coupling of Bernoulli percolation.