  The commuting probability of a finite group $G$ is the probability that two
randomly chosen elements commute. Let $S\subseteq(0,1]$ denote the set of all
possible commuting probabilities of finite groups. We prove that $S\cup\{0\}$
is closed, which was conjectured by Keith Joseph in 1977.
