Axiomatization and conditions for neighborhoods in a covering to form a partition

In this paper, we study the axiomatic issue of a type of covering upper approximation operations. This issue was proposed as an open problem. We also further some known results by using only a single covering approximation operator to characterize the conditions for neighborhood {N(x): x ∈ U} to form a partition of universe U.