On extensions of topological spaces in terms of ideals (Q2463881)

There are two classical methods to describe points \(x\) of the remainder \(X^\prime\setminus X\) of the \(T_0\)-extension \(X^\prime\) of a \(T_0\) topological space \(X\), namely by filters \(\omega (x)\) of neighborhoods of \(x\) in \(X\) and by cofilters \(\gamma (x)\) consisting of all sets \(F\subset X\) for which \(x\in cl_{X^\prime}F\). It is clear that these methods can be diversified, considering, for example, systems \(PX\setminus \omega(x)\) or \(PX\setminus \gamma(x)\), where \(PX=\{A| A\subset X\}\), or \(\{X\setminus A| A\in\omega(x)\}\) or \(\{X\setminus A| A\in\gamma(x)\}\) etc. The authors of this paper prefer the description of \(x\in X^\prime \setminus X\) by \(\{X\setminus A| A\in\omega(x)\}\). Such systems prove to be ideals that is systems \(I(x)\) satisfying the following conditions (i) for \(A,B \subset X, A\subset B\in I(x)\Longrightarrow A\in I(x)\) and (ii) \(A,B\in I(x)\Longrightarrow A\cup B\in I(x)\).