Finite-energy property of Bernoulli percolation
= Finite-energy property of Bernoulli percolation
For $0<p<1$, prescribing any finite collection of Bernoulli percolation sites or edges has positive conditional probability given all states outside that collection.