---
title: Rough Neighborhood Set (NRS) Overview
url: https://www.emergentmind.com/topics/rough-neighborhood-set-nrs
type: topic
---

# Rough Neighborhood Set (NRS) Overview

Searching arXiv for recent and foundational papers on neighborhood rough sets and closely related formulations.
arxiv_search(query="neighborhood rough set rough set covering-based rough sets partition neighborhoods", max_results=10)
Rough Neighborhood Set (NRS) denotes a rough-set model in which the basic granules are neighborhoods rather than equivalence classes. In the most general formulation used in the rough-set literature, an NRS is based on a neighborhood approximation space \((U,N)\), where \(U\) is a nonempty universe and \(N(x)\subseteq U\) is a nonempty neighborhood assigned to each object \(x\in U\). For any target set \(X\subseteq U\), the neighborhood lower approximation collects objects whose neighborhoods are entirely contained in \(X\), while the neighborhood upper approximation collects objects whose neighborhoods intersect \(X\). In this way, NRS generalizes classical Pawlak rough sets by replacing partition-based granulation with local granules induced by coverings, relations, metrics, similarities, or graph neighborhoods [2604.19794][1209.5480].

## 1. Formal framework and approximation semantics

In the handbook treatment of neighborhood rough sets, a neighborhood approximation space is written as \((U,N)\), with \(N:U\to\mathcal{P}(U)\). The defining approximations of a set \(X\subseteq U\) are
\[
\underline{\mathrm{apr}}_{N}(X)=\{x\in U\mid N(x)\subseteq X\},
\qquad
\overline{\mathrm{apr}}_{N}(X)=\{x\in U\mid N(x)\cap X\neq\varnothing\}.
\]
The associated neighborhood rough set of \(X\) is the pair
\[
\bigl(\underline{\mathrm{apr}}_{N}(X),\overline{\mathrm{apr}}_{N}(X)\bigr).
\]
The standard derived regions are
\[
\mathrm{POS}_{N}(X)=\underline{\mathrm{apr}}_{N}(X),\qquad
\mathrm{BND}_{N}(X)=\overline{\mathrm{apr}}_{N}(X)\setminus \underline{\mathrm{apr}}_{N}(X),\qquad
\mathrm{NEG}_{N}(X)=U\setminus \overline{\mathrm{apr}}_{N}(X).
\]
These definitions preserve the usual certainty/possibility semantics of rough sets: the lower approximation contains objects definitely in \(X\) under the adopted granulation, and the upper approximation contains objects possibly in \(X\) [2604.19794].

A central feature of NRS is that the granulation need not be induced by an equivalence relation. This permits overlapping neighborhoods, non-partitional local structure, and direct use of similarity or distance information. At the same time, the Pawlak model is recovered as a special case: if one sets \(N(x)=[x]_R\) for an equivalence relation \(R\), then the neighborhood lower and upper approximations coincide with the classical rough approximations \(\underline{R}(X)\) and \(\overline{R}(X)\) [2604.19794].

Under the assumptions typically used in the handbook exposition, NRS retains basic properties such as
\[
\underline{\mathrm{apr}}_{N}(X)\subseteq X\subseteq \overline{\mathrm{apr}}_{N}(X),
\]
together with monotonicity in the target set. This places neighborhood rough sets within the broader family of approximation systems that model uncertainty through lower and upper bounds induced by data granulation rather than by probabilistic assumptions [2604.19794].

## 2. Covering-induced neighborhoods and partition conditions

An important formulation of NRS arises in covering-based rough sets. Here one begins with a finite, nonempty universe \(U\) and a covering \(\mathbf{C}\), that is, a family of nonempty subsets of \(U\) satisfying
\[
\emptyset\notin \mathbf{C},\qquad \bigcup \mathbf{C}=U.
\]
Each member \(K\in\mathbf{C}\) is a covering block. The neighborhood induced by the covering is defined by
\[
N(x)=\bigcap\{K\in\mathbf{C}\mid x\in K\},
\]
and the induced neighborhood family is
\[
Cov(\mathbf{C})=\{N(x)\mid x\in U\}.
\]
The neighborhood rough approximations then take the now-standard form
\[
\underline{N}(X)=\{x\in U\mid N(x)\subseteq X\},\qquad
\overline{N}(X)=\{x\in U\mid N(x)\cap X\neq\emptyset\}.
\]
In this setting, an NRS may be viewed either as \((U,\{N(x)\}_{x\in U})\) or as \((U,\mathbf{C})\) with neighborhoods induced by the covering [1209.5480].

The structure of these induced neighborhoods is constrained. A basic proposition states that if \(y\in N(x)\), then \(N(y)\subseteq N(x)\); moreover, if \(y\in N(x)\) and \(x\in N(y)\), then \(N(x)=N(y)\). This observation underlies the question studied in depth in the covering-based literature: when does the family \(Cov(\mathbf{C})\) itself form a partition of \(U\)? The problem matters because, when the induced neighborhoods are pairwise disjoint and exhaustive, neighborhood-based approximations behave much more like classical Pawlak approximations [1209.5480].

The covering-based analysis introduces several structural notions. A covering block \(K\in\mathbf{C}\) is reducible if it can be expressed as the union of other blocks, and the reduct \(reduct(\mathbf{C})\) is the set of irreducible blocks. A crucial proposition is
\[
Cov(\mathbf{C})=Cov(reduct(\mathbf{C})),
\]
so reducible blocks do not affect neighborhoods. The paper also defines the membership repeat degree
\[
\partial(x)=\bigl|\{K\in \mathbf{C}\mid x\in K\}\bigr|,
\]
the common block repeat degree
\[
\lambda(x,y)=\bigl|\{K\in \mathbf{C}\mid \{x,y\}\subseteq K\}\bigr|,
\]
and the \(y\)-excluded number of \(x\),
\[
f_y(x)=\partial(x)-\lambda(x,y).
\]
A key lemma establishes
\[
y\in N(x)\iff f_y(x)=0.
\]
Using these quantities, the paper gives a necessary and sufficient condition for \(Cov(\mathbf{C})\) to form a partition:
\[
\forall x,y\in U,\quad
\bigl(f_y(x)=f_x(y)=0\bigr)\ \text{or}\ \bigl(f_y(x)\neq 0\ \text{and}\ f_x(y)\neq 0\bigr).
\]
Equivalently, for any pair \((x,y)\), either each lies in the other’s neighborhood or neither does. The same work also gives two sufficient conditions: if \(reduct(\mathbf{C})\) is a partition, then \(Cov(\mathbf{C})\) forms a partition; and if all covering blocks are uniform blocks, meaning all elements in a block have the same repeat degree, then \(Cov(\mathbf{C})\) forms a partition [1209.5480].

When the partition condition holds, neighborhood rough approximations collapse to Pawlak-style approximations with respect to the partition \(Cov(\mathbf{C})\). This supplies a precise bridge between covering-based NRS and equivalence-based rough sets [1209.5480].

## 3. Metric neighborhoods, continuous attributes, and numeric information systems

A second major line of development defines neighborhoods directly in metric spaces. In the summarization work on supervised multi-document text summarization, the starting point is a numeric information system
\[
(U,A),
\]
where \(U\) is the universe of objects and \(A=\{a_1,a_2,\ldots,a_n\}\) is a set of attributes. For an object \(x\in U\), the value of \(x\) on attribute \(a\) is written \(f(x,a)\). The paper uses the Minkowski distance
\[
A_P(x,y)=\left(\sum_{i=1}^{n}\left|f(x,a_i)-f(y,a_i)\right|^p\right)^{1/p},
\]
with Manhattan distance for \(p=1\), Euclidean distance for \(p=2\), and Chebyshev distance for \(p=\infty\). The corresponding \(\delta\)-neighborhood of \(x\) is
\[
S_p(x)=\{y\mid y\in U,\ A_P(x,y)\le \delta\}.
\]
Lower and upper approximations are then
\[
\underline{P}X=\{x\in U\mid S_p(x)\subseteq X\},\qquad
\overline{P}X=\{x\in U\mid S_p(x)\cap X\neq \emptyset\},
\]
with boundary and negative regions defined analogously from these neighborhood-based approximations [2106.07338].

This metric formulation is motivated by the fact that many application domains are described by continuous or primarily numeric attributes. The summarization paper states explicitly that a key drawback of classical LERS is the need for nominal attributes, whereas the computed sentence attributes are primarily numeric. The unified granular-ball paper states the same issue more generally for Pawlak rough sets: exact-value indiscernibility is poorly matched to continuous data, often forcing discretization and its associated information loss. Neighborhood rough sets address this by defining granules through distance rather than strict equivalence [2106.07338][2201.03349].

The same general picture appears in the handbook taxonomy, which treats neighborhood models as “metric/graph/kNN style, local granules.” It records two canonical constructions: relation-induced neighborhoods,
\[
N_S(x)=\{y\in U\mid (x,y)\in S\},
\]
and metric-based neighborhoods,
\[
N_\delta(x)=\{y\in U\mid d(x,y)\le \delta\}.
\]
Tolerance-based and similarity-threshold models fit this scheme as special cases. In the handbook’s formulation, neighborhood rough sets are therefore not a single algorithm but a family of approximation systems parameterized by the way neighborhoods are generated [2604.19794].

The literature summarized here also records specific limitations of classical NRS. The granular-ball paper emphasizes that standard neighborhood rough sets lose the ability to use equivalence classes for knowledge representation, require a neighborhood radius \(\delta\), and can suffer from “heterogeneous transmission,” where overlapping neighborhoods from different decision classes undermine clean granulation [2201.03349].

## 4. Rule induction and supervised learning: the Neighborhood-LERS model

A concrete algorithmic use of NRS appears in supervised multi-document text summarization through Neighborhood-LERS (NLER), an improved LERS algorithm in which rough approximations and coverings are computed by neighborhood rough sets rather than by classical rough-set equivalence classes [2106.07338].

The workflow described in that paper begins by computing a decision attribute \(D\) for training sentences using ROUGE scores relative to reference summaries. Sentences are then parsed and represented by numeric features \(P\), yielding an information system \((U,P)\) with decision attribute \(D\). The algorithm next determines a global covering \(A\) “using Neighborhood Rough Sets based distance for each feature,” with each feature placed in an \(\alpha\)-neighborhood for a specific \(\alpha\). The experiments explicitly use radii such as \(0.2\) and \(0.3\), denoted \(Nbhd\_0.2\) and \(Nbhd\_0.3\) [2106.07338].

Rule generation proceeds from neighborhood-based approximations of the decision classes. Sentences whose neighborhoods lie entirely within a decision class belong to its lower approximation and act as certain examples; sentences whose neighborhoods overlap a class belong to its upper approximation. The algorithm then generates rules from the global covering, drops attribute-value pairs from rules, and checks consistency “using Neighborhood Rough Set.” The paper states that the minimal number of attribute-value pairs are kept in the final rule. The resulting rules are applied to testing data to generate sentence importance, after which a summary of length \(N\) words is produced. In some experiments, sentence ranking is further refined by the Aggregate-Rank-Measure from the cited prior work [2106.07338].

The empirical findings are mixed but specific. For DUC2003 without Aggregate-Rank-Measure, classical LERS performs best among all methods, and NLER is competitive but not superior. For DUC2003 with Aggregate-Rank-Measure, \(Nbhd\_0.2\) performs best on ROUGE-1, ROUGE-L, and ROUGE-SU, while LERS performs best on ROUGE-2. For DUC2005, both without post-processing and with Aggregate-Rank-Measure, NLER (\(Nbhd\_0.2\) and \(Nbhd\_0.3\)) is reported as performing best on all ROUGE metrics. The paper’s overall conclusion is that neighborhood rough set based techniques perform better than the normal rough-set based LERS algorithm, particularly when combined with Aggregate Rank Measure [2106.07338].

These results are application-specific rather than theorem-driven. The same paper notes that its theoretical treatment of NRS is mainly definitional and does not provide separate theorems, formal robustness proofs, or a detailed complexity analysis [2106.07338].

## 5. Unification with Pawlak rough sets through granular-ball models

A significant later development is the granular-ball rough set model, which is presented as a unified model of Pawlak rough set and neighborhood rough set. The stated objective is to retain NRS’s capacity to process continuous data while restoring equivalence-class-based knowledge representation [2201.03349].

In granular-ball computing, a granular-ball \(GB\) is a subset of samples
\[
GB=\{x_i,\ i=1,\dots,N\},
\]
with center
\[
C=\frac{1}{N}\sum_{i=1}^{N}x_i
\]
and radius
\[
r=\frac{1}{N}\sum_{i=1}^{N}\|x_i-C\|.
\]
Granular-balls are generated by recursively splitting impure balls until purity conditions are met, and overlaps between heterogeneous balls are explicitly removed. A granular-ball can also be written as
\[
GB_j=\{x\in U\mid \Delta(x,c_j)\le r_j\},
\]
so each ball behaves as an adaptive neighborhood in metric space [2201.03349].

The model defines a granular-ball-based indiscernibility relation
\[
INDGB(B)=\{(x,y)\in U^2\mid f(x,a)=f(y,a)=GB,\ \forall a\in B\},
\]
leading to equivalence classes
\[
U/GB(B)=\{[x]_{GB(B)}\mid x\in U\}.
\]
Lower and upper approximations are then given in Pawlak form:
\[
\underline{GBR_B}X=\bigcup\{[x]_{GB(B)}\in U/GB(B)\mid [x]_{GB(B)}\subseteq X\},
\]
\[
\overline{GBR_B}X=\bigcup\{[x]_{GB(B)}\in U/GB(B)\mid [x]_{GB(B)}\cap X\neq \emptyset\}.
\]
For decision systems, positive and boundary regions are defined exactly as in classical rough sets, but the underlying granules are granular-balls rather than strict value-equivalence classes [2201.03349].

The paper’s unification claim is explicit. When the radius of each granular-ball is set to an infinitesimally small positive number, GBRS reduces to Pawlak rough sets; when the radius is not zero, GBRS becomes granular-ball NRS (GBNRS). This yields the following correspondence.

| Model | Granulation basis | Stated role |
|---|---|---|
| Pawlak rough set | Equivalence classes | Discrete, equivalence-based knowledge |
| Neighborhood rough set | Metric neighborhoods | Continuous-data handling |
| Granular-ball rough set | Granular-ball equivalence classes | Unified representation of both |

The experiments reported in the granular-ball paper use 6 discrete and 9 continuous datasets with 5-fold cross-validation and k-NN for evaluation. On the 6 discrete datasets, the average accuracies are reported as 0.8906 for the original data, 0.8618 for PRS, and 0.8958 for GBNRS. On the 9 continuous datasets, GBNRS is reported as achieving the highest classification accuracy on most datasets and outperforming classical NRS, weighted NRS, and several other feature-selection methods including Cfs, Ilfs, Laplacian Score, Lasso, and Mrmr [2201.03349].

The same paper also states a strong representational claim: because GBNRS uses adaptive granular-balls, avoids heterogeneous overlaps, and restores equivalence-class representation, it can serve as a representative method of neighborhood rough set [2201.03349].

## 6. Taxonomy, illustrative example, and terminological ambiguity

Within the broader rough-set landscape, neighborhood rough sets are treated as one of the main paradigms organized by granulation mechanism, alongside equivalence-based, tolerance-based, covering-based, and probabilistic models. The handbook places neighborhood models in settings where local granules derived from metrics, graphs, kNN relations, or similarity thresholds are more appropriate than global partitions. It also emphasizes applications such as predictive maintenance, local classification, anomaly screening, and dynamic or streaming contexts [2604.19794].

A concrete handbook example uses predictive maintenance on vibration sensors. The universe is
\[
U=\{s_1,\dots,s_7\},
\]
each sensor has a feature vector \(\phi(s_i)\in\mathbb{R}^2\), and the distance is Euclidean:
\[
d(s_i,s_j)=\|\phi(s_i)-\phi(s_j)\|_2.
\]
With radius \(\delta=1\), the neighborhood system is defined by
\[
N_\delta(s)=\{t\in U\mid d(s,t)\le 1\}.
\]
For the confirmed faulty-sensor set
\[
X=\{s_1,s_2,s_4\},
\]
the handbook computes
\[
\underline{\mathrm{apr}}_{N_\delta}(X)=\{s_1\},
\qquad
\overline{\mathrm{apr}}_{N_\delta}(X)=\{s_1,s_2,s_3,s_4\},
\]
hence
\[
\mathrm{NEG}(X)=\{s_5,s_6,s_7\}.
\]
This example makes explicit the local semantics of NRS: \(s_1\) is definitely associated with the faulty region, \(s_2,s_3,s_4\) lie in the boundary, and \(s_5,s_6,s_7\) are definitely outside it [2604.19794].

A recurrent misconception is to treat “rough neighborhood set” as if it always referred to a single formalism. The literature represented here shows instead that NRS is a family of models sharing the same lower/upper approximation schema but differing in how neighborhoods are generated: from coverings, metric balls, relations, similarities, or adaptive granular-balls [1209.5480][2604.19794]. A separate terminological ambiguity is that the abbreviation NRS is also used in an unrelated sense in the paper on NRS\((m)\), where it denotes multidimensional Newton–Raphson–Simpson methods for polynomial root-finding. In that usage, NRS\((m)\) concerns fixed points, Jacobians, and pairwise sums of polynomial zeros, not rough approximations or data granulation [2509.14176].

Taken together, these sources present Rough Neighborhood Set as a generalization of rough-set approximation from equivalence classes to local granules. Covering-based work clarifies when neighborhood systems recover partition behavior; metric formulations enable direct treatment of numeric data; application papers show how NRS can drive rule induction and supervised ranking; and granular-ball models attempt to unify neighborhood and Pawlak semantics within a single adaptive framework [1209.5480][2106.07338][2201.03349][2604.19794].

Source: https://www.emergentmind.com/topics/rough-neighborhood-set-nrs