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