We introduce the $K_0$-proximity space as a generalization of the Efremovi$check{c}$-proximity space. We try to show every ultrafilter in $K_0$-proximity space generates a cluster and every Cauchy cluster is a point cluster.