\begin{definition}[Definition:Relational Structure with Topology]
A triple $\left({S, \preceq, \tau}\right)$ is a '''relational structure with topology'''
where
:$\preceq$ is a relation on $S$
and
:$\tau$ is a topology on $S$.
\end{definition}