library/topology/preclosure.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

\import{set.tex}

\section{Preclosure spaces}


\begin{struct}
    A preclosure space $X$ is a onesorted structure equipped with
    \begin{enumerate}
        \item $\cl$
    \end{enumerate}
    such that
    \begin{enumerate}
        \item For all $Y\subseteq X$ we have $\cl(Y)\subseteq X$.
        \item $\cl(\emptyset) = \emptyset$.
        \item For all $A$ we have $A\subseteq \cl(A)$.
        \item For all $A, B$ we have $\cl(A\union B) = \cl(A) \union \cl(B)$.
    \end{enumerate}
\end{struct}