论文标题
重新审视的基础话题：基本概念的逻辑和澄清
Infra-topologies revisited: logic and clarification of basic notions
论文作者
论文摘要
在本文中，我们遵守Al-Odhari引入的基础知名空间的定义。也就是说，我们谈论的是包含空场和整个宇宙X的子集的家庭，同时在有限的交叉点下关闭（但不一定是在任意的甚至有限的工会下）。这种轻微的修改使我们能够区分新类别的子集（Infra-Open，PS-Infra-Open和I-Genuine）。用封闭语言讨论了类似的概念。也研究了最小的红外开放套件，以及普遍的红外空间的想法。最后，使用上述一些概念，我们根据模态逻辑获得了基础空间的表征。
In this paper we adhere to the definition of infra-topological space as it was introduced by Al-Odhari. Namely, we speak about families of subsets which contain empty set and the whole universe X, being at the same time closed under finite intersections (but not necessarily under arbitrary or even finite unions). This slight modification allows us to distinguish between new classes of subsets (infra-open, ps-infra-open and i-genuine). Analogous notions are discussed in the language of closures. The class of minimal infra-open sets is studied too, as well as the idea of generalized infra-spaces. Finally, we obtain characterization of infra-spaces in terms of modal logic, using some of the notions introduced above.
