Complete generalized neighborhood systems (Q626020)

\textit{Á. Császár} [Acta Math. Hung. 96, No. ~4, 351--357 (2002; Zbl 1006.54003)] called a subset \(\mu\) of the power set \(\exp(X)\) of a set \(X\) a generalized topology (GT) if \(\emptyset \in\mu\) and \(\mu\) is closed under arbitrary unions. He called the map \(\psi:X\to\exp(\exp X)\) a generalized neighborhood system (GNS) on \(X\) if for each \(x\in X\), \(V\in \psi(x)\Rightarrow x\in V\). Again if \(\psi\) is a GNS on \(X\), define \(\mu_\psi=\{M\subseteq X:x\in M\Rightarrow \exists V\in\psi(x)\;\text{such that}\;V\subseteq M\}\). Császár showed that \(\mu_\psi\) is a GT on \(X\), called the GT generated by \(\psi\). Conversely, if \(\mu\) is a GT on \(X\), then a GNS \(\mu_\psi\) on \(X\), called the GNS generated by \(\mu\), can be defined by taking \(\psi(x)=\{A\subseteq X:x\in M\subseteq A\;\text{ for some}\;M\in\mu\}\). Császár, in the same paper, showed that for each GT \(\mu\) on \(X\), \(\mu=\mu_{\psi_\mu}\), whereas in the present paper the author shows that given a GNS \(\psi\) on a set \(X\), \(\psi=\psi_{\mu_\psi}\) may not hold. In order to achieve this, the author introduces a condition, called completeness, on a GNS and proves the theorem that a GNS \(\psi\) on a set \(X\) is complete \(\Leftrightarrow \psi=\psi_{\mu_\psi}\Leftrightarrow \psi=\psi_\mu\) for some GT \(\mu\) on \(X\). In the last two sections the author applies his introduced notion of complete generalized neighborhood system to the theory of generalized interior operators and generalized continuous maps.