Definition:Relational Structure with Topology

Definition
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$.