Uniqueness of the infinite percolation cluster
= Uniqueness of the infinite percolation cluster
For independent <bond percolation> on $\mathbb Z^d$, there is <almost surely> at most one infinite <percolation cluster>. Above the <percolation critical probability>, there is exactly one.