{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:17:26Z","timestamp":1760235446195,"version":"build-2065373602"},"reference-count":27,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T00:00:00Z","timestamp":1629676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>It is well known that topological spaces are axiomatically characterized by the topological closure operator satisfying the Kuratowski Closure Axioms. Equivalently, they can be axiomatized by other set operators encoding primitive semantics of topology, such as interior operator, exterior operator, boundary operator, or derived-set operator (or dually, co-derived-set operator). It is also known that a topological closure operator (and dually, a topological interior operator) can be weakened into generalized closure (interior) systems. What about boundary operator, exterior operator, and derived-set (and co-derived-set) operator in the weakened systems? Our paper completely answers this question by showing that the above six set operators can all be weakened (from their topological counterparts) in an appropriate way such that their inter-relationships remain essentially the same as in topological systems. Moreover, we show that the semantics of an interior point, an exterior point, a boundary point, an accumulation point, a co-accumulation point, an isolated point, a repelling point, etc. with respect to a given set, can be extended to an arbitrary subset system simply by treating the subset system as a base of a generalized interior system (and hence its dual, a generalized closure system). This allows us to extend topological semantics, namely the characterization of points with respect to an arbitrary set, in terms of both its spatial relations (interior, exterior, or boundary) and its dynamic convergence of any sequence (accumulation, co-accumulation, and isolation), to much weakened systems and hence with wider applicability. Examples from the theory of matroid and of Knowledge\/Learning Spaces are used as an illustration.<\/jats:p>","DOI":"10.3390\/axioms10030198","type":"journal-article","created":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T10:24:17Z","timestamp":1629714257000},"page":"198","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Closure System and Its Semantics"],"prefix":"10.3390","volume":"10","author":[{"given":"Yinbin","family":"Lei","sequence":"first","affiliation":[{"name":"Department of Psychology, The University of Michigan, Ann Arbor, MI 48109, USA"}]},{"given":"Jun","family":"Zhang","sequence":"additional","affiliation":[{"name":"Department of Psychology, The University of Michigan, Ann Arbor, MI 48109, USA"}]}],"member":"1968","published-online":{"date-parts":[[2021,8,23]]},"reference":[{"key":"ref_1","unstructured":"Bourbaki, N. (2013). General Topology: Chapters 1\u20134, Springer Science and Business Media."},{"key":"ref_2","unstructured":"Dugundji, J. (1966). Topology, Series in Advanced Mathematics, Allyn and Bacon, Inc."},{"key":"ref_3","unstructured":"Engelking, R. (1976). General Topology, PWN-Polish Scientific Publishers."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Falmagne, J.-C., and Doignon, J.-P. (2011). Learning Spaces, Springer.","DOI":"10.1007\/978-3-642-01039-2"},{"key":"ref_5","unstructured":"Korte, B., Lov\u00e0sz, L., and Schrader, R. (2012). Greedoids, Springer Science and Business Media."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0012-365X(89)90180-5","article-title":"Matroids and antimatroids\u2014A survey","volume":"78","author":"Dietrich","year":"1989","journal-title":"Discret. Math."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00149365","article-title":"The theory of convex geometries","volume":"19","author":"Edelman","year":"1985","journal-title":"Geom. Dedicata"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Ganter, B., and Wille, R. (1999). Formal Concept Analysis, Springer.","DOI":"10.1007\/978-3-642-59830-2"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S1571-0661(03)50016-0","article-title":"Chu Spaces, Concept Lattices, and Domains","volume":"83","author":"Zhang","year":"2003","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Barr, M. (1979). *-Autonomous Categories, with an Appendix by Po Hsiang Chu. Lecture Notes in Mathematics 752, Springer.","DOI":"10.1007\/BFb0064579"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0960129500001274","article-title":"*-Autonomous Categories and Linear Logic","volume":"1","author":"Barr","year":"1991","journal-title":"Math. Struct. Comput. Sci."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"G\u00e4hler, W., and Preuss, G. (2004). Classification of closure operators for categories of topological spaces. Categorical Structures and Their Applications, World Scientific.","DOI":"10.1142\/5665"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0166-8641(87)90100-3","article-title":"Closure operators I","volume":"27","author":"Dikranjan","year":"1987","journal-title":"Topol. Appl."},{"key":"ref_14","first-page":"1029","article-title":"The Exterior Operator and Boundary Operator","volume":"71","author":"Gabai","year":"1964","journal-title":"Am. Math. Mon."},{"key":"ref_15","first-page":"165","article-title":"Derived-set axioms for topological spaces","volume":"26","author":"Spira","year":"1967","journal-title":"Port. Math."},{"key":"ref_16","unstructured":"Steinsvold, C. (2006). Topological Models of Belief Logics. [Ph.D. Thesis, City University of New York]."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.2307\/2312842","article-title":"The derived set operator","volume":"70","author":"Harvey","year":"1963","journal-title":"Am. Math. Mon."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/j.entcs.2019.07.016","article-title":"Generalizing topological set operators","volume":"Volume 345","author":"Lei","year":"2019","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.4064\/fm-9-1-3-15","article-title":"Quelques notions fondamentales de l\u2019Analysis Situs au point de vue de l\u2019Alg\u00e8bre de la Logique","volume":"9","author":"Zarycki","year":"1927","journal-title":"Fundam. Math."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0304-3975(94)00123-Z","article-title":"Lagois connections\u2014A counterpart to Galois connections","volume":"136","author":"Melton","year":"1994","journal-title":"Theor. Comput. Sci."},{"key":"ref_21","unstructured":"Gediga, G., and D\u00fcntsch, I. (2002, January 9\u201312). Modal-style operators in qualitative data analysis. Proceedings of the IEEE International Conference on Data Mining, Maebashi City, Japan."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/j.apal.2008.09.028","article-title":"Rough concept lattices and domains","volume":"159","author":"Lei","year":"2009","journal-title":"Ann. Pure Appl. Log."},{"key":"ref_23","first-page":"59","article-title":"A comparative study of formal concept analysis and rough set theory in data analysis","volume":"3066","author":"Yao","year":"2004","journal-title":"Lect. Notes Artif. Intell."},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Houpt, J., and Blaha, L. (2016). Subset systems: Mathematical abstraction of object and context. Mathematical Models of Perception and Cognition, Psychological Press, Taylor and Francis (Routledge). Volume I: A Festschrift for James T. Townsend.","DOI":"10.4324\/9781315647272"},{"key":"ref_25","unstructured":"Oxley, J.G. (2006). Matroid Theory, Oxford University Press."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Doignon, J.-P., and Falmagne, J.-C. (1999). Knowledge Spaces, Springer.","DOI":"10.1007\/978-3-642-58625-5"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Davey, B.A., and Priestley, H.A. (2002). Introduction to Lattices and Order, Cambridge University Press.","DOI":"10.1017\/CBO9780511809088"}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/10\/3\/198\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T06:49:38Z","timestamp":1760165378000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/10\/3\/198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,23]]},"references-count":27,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2021,9]]}},"alternative-id":["axioms10030198"],"URL":"https:\/\/doi.org\/10.3390\/axioms10030198","relation":{},"ISSN":["2075-1680"],"issn-type":[{"type":"electronic","value":"2075-1680"}],"subject":[],"published":{"date-parts":[[2021,8,23]]}}}