Soft Computing

, Volume 22, Issue 7, pp 2329–2339 | Cite as

Axiomatic approaches to rough approximation operators via ideal on a complete completely distributive lattice

Methodologies and Application


In 2014, Zhou and Hu (Inf Sci 269:378–387, 2014) introduced a kind of rough sets on a complete completely distributive lattice (short for CCD lattice), which can be seen as a unified framework for the study of rough sets based on ordinary binary relations, rough fuzzy sets and interval-valued rough fuzzy sets. Han et al. (Soft Comput 20:1853–1861, 2016) introduced a new pair of rough approximation operators via ideal on a CCD lattice in 2016, which is more general and accurate than Zhou and Hu’s. In this paper, we further investigate its properties, and then the axiomatic approaches are studied. Through some of our axioms, the rough approximations via ideal on a complete atomic Boolean lattice can be viewed as special cases of rough approximation operators via ideal on a CCD lattice if the ideal is well given.


Axiomatic approaches Complete completely distributive lattice Complete sublattice ideal Galois connection Rough set 



The authors are enormously grateful to the editors and the anonymous reviews for their professional comments and valuable suggestions. This work is supported by the National Natural Science Foundation of China (Nos. 11371130, 11461005) and Research Fund for the Doctoral Program of Higher Education of China (No. 20120161110017).

Compliance with ethical standards

Conflict of interest

The authors declare no conflict of interest.

Ethical approval

This article does not contain any studies with human participants or animals performed by any of the authors.


  1. Chen DG, Zhang WX, Yeung D, Tsang E (2006) Rough approximations on a complete completely distributive lattice with applications to generalized rough sets. Inf Sci 176:1829–1848MathSciNetCrossRefMATHGoogle Scholar
  2. Davey BA, Priestley HA (2002) Introduction to lattices and order. Cambridge University Press, CambridgeCrossRefMATHGoogle Scholar
  3. Draškovičová H (1974) On a representation of lattices by congruence relations. Mat čas 24(1):69–75MathSciNetMATHGoogle Scholar
  4. Dubois D, Prade H (1990) Rough fuzzy sets and fuzzy rough sets. Int J Gen Syst 17:191–209CrossRefMATHGoogle Scholar
  5. Gao Y, Du WF, Yang JL, Qin KY (2009) The topological structure of approximation operators on a CCD lattice. ICIC Express Lett 3:915–920Google Scholar
  6. Gierz G, Hofmann K, Keimel K, Lawson JD, Mislove M, Scott DS (1980) A compendium of continuous lattice. Spring, BerlinCrossRefMATHGoogle Scholar
  7. Gierz G, Hofmann K, Keimel K, Lawson JD, Mislove M, Scott DS (2003) Continuous lattices and domains. Cambridge University Press, CambridgeCrossRefMATHGoogle Scholar
  8. Gong ZT, Sun BZ, Chen DG (2008) Rough set theory for the interval-valued fuzzy information systems. Inf Sci 178:1968–1986MathSciNetCrossRefMATHGoogle Scholar
  9. Guo LK, Li QG, Huang MQ (2014) A categorical representation of algebraic domains based on variations of rough approximable concepts. Int J Approx Reason 55(3):885–895MathSciNetCrossRefMATHGoogle Scholar
  10. Han HX, Li QG, Guo LK (2016) Rough approximations via ideal on a complete completely distributive lattice. Soft Comput 20:1853–1861CrossRefMATHGoogle Scholar
  11. Järvinen J (2002) On the structure of rough approximations. Fundam Inform 50:135–153MathSciNetMATHGoogle Scholar
  12. Järvinen J, Radeleczki S, Veres L (2009) Rough sets determined by quasiorders. Order 26(4):337–355MathSciNetCrossRefMATHGoogle Scholar
  13. Järvinen J, Radeleczki S (2011) Representation of Nelson algebras by rough sets determined by quasiorders. Algebra universalis 66(1–2):163–179MathSciNetCrossRefMATHGoogle Scholar
  14. Li JH, Mei CL, Lv YJ (2013) Incomplete decision contexts: approximate concept construction, rule acquisition and knowledge reduction. Int J Approx Reason 54:149–165MathSciNetCrossRefMATHGoogle Scholar
  15. Lin TY, Liu QL (1994) Rough approximate operators: axiomatic rough set theory. In: Ziarko W (ed) Rough sets, fuzzy sets and knowledge discovery. Springer, Berlin, pp 256–260CrossRefGoogle Scholar
  16. Liu GL (2013) Using one axiom to characterize rough set and fuzzy rough set approximations. Inf Sci 223:285–296MathSciNetCrossRefMATHGoogle Scholar
  17. Liu GL, Zhu W (2008) The algebraic structures of generalized rough set theory. Inf Sci 178:4105–4113MathSciNetCrossRefMATHGoogle Scholar
  18. Mi JS, Zhang WX (2004) An axiomatic characterization of a fuzzy generalization of rough sets. Inf Sci 160:235–249MathSciNetCrossRefMATHGoogle Scholar
  19. Nanda S (1992) Fuzzy rough sets. Fuzzy Sets Syst 45:157–160MathSciNetCrossRefMATHGoogle Scholar
  20. Pawlak Z (1982) Rough sets. Int J Comput Inf Sci 11:341–356CrossRefMATHGoogle Scholar
  21. Pawlak Z (1991) Rough sets: theoretical aspects of reasoning about data. Kluwer Academic Publishers, DordrechtCrossRefMATHGoogle Scholar
  22. Pawlak Z, Skowron A (2007) Rudiments of rough sets. Inf Sci 177:3–27MathSciNetCrossRefMATHGoogle Scholar
  23. Pawlak Z, Skowron A (2007) Rough sets: some extensions. Inf Sci 177:28–40MathSciNetCrossRefMATHGoogle Scholar
  24. Pawlak Z, Skowron A (2007) Rough sets and Boolean reasoning. Inf Sci 177:41–73MathSciNetCrossRefMATHGoogle Scholar
  25. Qi GL, Liu WR (2005) Rough operations on Boolean algebras. Inf Sci 173:49–63MathSciNetCrossRefMATHGoogle Scholar
  26. Qin KY, Pei Z, Yang JL, Xu Y (2013) Approximation operators on complete completely distributive lattices. Inf Sci 247:123–130MathSciNetCrossRefMATHGoogle Scholar
  27. Qin KY, Pei Z (2005) On the topological properties of fuzzy rough sets. Fuzzy Sets Syst 151:601–613MathSciNetCrossRefMATHGoogle Scholar
  28. Raney GN (1952) Completely distributive complete lattices. Proc Am Math Soc 3(5):677–680MathSciNetCrossRefMATHGoogle Scholar
  29. Skowron A, Stepaniuk J (1996) Tolerance approximation spaces. Fundam Inform 27:245–253MathSciNetMATHGoogle Scholar
  30. Tantawy O, Mustafa H (2013) On rough approximations via ideal. Inf Sci 251(2013):114–125MathSciNetCrossRefMATHGoogle Scholar
  31. Vanderpooten D (1997) Similarity relation as a basis for rough approximations. Adv Mach Intell Soft Comput 4:17–33Google Scholar
  32. Wang GP (1988) A weakly auxiliary relation on completely distributive lattices and the generalized order-homomorphisms. Chin Q J Math 3:76–83Google Scholar
  33. Wang GJ (1992) Theory of topological molecular lattices. Fuzzy Sets Syst 47:351–376MathSciNetCrossRefMATHGoogle Scholar
  34. Wu WZ, Mi JS, Zhang WX (2003) Generalized fuzzy rough sets. Inf Sci 151:263–282MathSciNetCrossRefMATHGoogle Scholar
  35. Wu WZ, Xu YH, Shao MW, Wang GY (2016) Axiomatic characterizations of (\(S\), \(T\))-fuzzy rough approximation operators. Inf Sci 334:17–43Google Scholar
  36. Wu WZ, Zhang WX (2004) Constructive and axiomatic approaches of fuzzy approximation operators. Inf Sci 159:233–254MathSciNetCrossRefMATHGoogle Scholar
  37. Yao YY (1996) Two views of the theory of rough sets in finite universes. Int J Approx Reason 15(4):291–317MathSciNetCrossRefMATHGoogle Scholar
  38. Yao YY (1998) Relational interpretations of neighborhood operators and rough set approximation operators. Inf Sci 111:239–259MathSciNetCrossRefMATHGoogle Scholar
  39. Yao YY (1998) Constructive and algebraic methods of the theory of rough sets. Inf Sci 109:21–47MathSciNetCrossRefMATHGoogle Scholar
  40. Yao YY (2004) A comparative study of formal concept analysis and rough set theory in data analysis. Lect Notes Comput Sci 3066:59–68MathSciNetCrossRefMATHGoogle Scholar
  41. Yao W, Han SE, Wang RX (2016) Lattice-theoretic contexts and their concept lattices via Galois ideals. Inf Sci 339:1–18MathSciNetCrossRefGoogle Scholar
  42. Zhang XH, Dai JH, Yu YC (2015) On the union and intersection operations of rough sets based on various approximation space. Inf Sci 292:214–229MathSciNetCrossRefMATHGoogle Scholar
  43. Zhou NL, Hu BQ (2014) Rough sets based on complete completely distributive lattices. Inf Sci 269:378–387MathSciNetCrossRefMATHGoogle Scholar
  44. Zhou NL, Hu BQ (2016) Axiomatic approaches to rough approximation operators on complete completely distributive lattices. Inf Sci 348:227–242MathSciNetCrossRefGoogle Scholar
  45. Zhu W, Wang FY (2012) The fourth type of covering-based rough sets. Inf Sci 201:80–92MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2017

Authors and Affiliations

  • Ninghua Gao
    • 1
    • 2
  • Qingguo Li
    • 1
  • Hongxia Han
    • 1
    • 3
  • Zhaowen Li
    • 4
  1. 1.College of Mathematics and EconometricsHunan UniversityChangshaChina
  2. 2.School of ScienceZhejiang University of Science and TechnologyHangzhouChina
  3. 3.Department of Applied MathematicsYuncheng UniversityYunchengChina
  4. 4.College of ScienceGuangxi University for NationalitiesNanningChina

Personalised recommendations