This is essentially a technical lemma for stochastic dominations in a context where one "lifts" a sequence of random variables from a quotient set to a bigger one following a section. We establish necessary and sufficient conditions for this lemma to hold, and revisit some proof in Percolation theory at the light of it.