On An Open Problem For Definable Subsets Of Covering Approximation Spaces

Mei He, Ying Ge, Jingyu Qian
2011 Zenodo  
Let (U;D) be a Gr-covering approximation space (U; C) with covering lower approximation operator D and covering upper approximation operator D. For a subset X of U, this paper investigates the following three conditions: (1) X is a definable subset of (U;D); (2) X is an inner definable subset of (U;D); (3) X is an outer definable subset of (U;D). It is proved that if one of the above three conditions holds, then the others hold. These results give a positive answer of an open problem for definable subsets of covering approximation spaces.
doi:10.5281/zenodo.1333077 fatcat:ol4zbb7qendp3c77j4ww5zbp7m