We extend a model introduced by Baccelli and Lee for the use of Reconfigurable Intelligent Surfaces as ways to help with line of sight connection to a satellite network in an urban setting.
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.