In this paper we develop potential theory on hypergroups and study contraction semigroups on hypergroups, we state and prove a necessary and sufficient condition that the domain of zero-resolvent or the domain of potential operator of $\{P_t\}_{t>0}$ is dense in $L^2(K)$.