COMPLETION OF A UNIFORM SPACE IN K₀-PROXIMITY SPACE

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.