Definition:Relational Structure with Topology
Jump to navigation
Jump to search
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$.
Sources
- Mizar article WAYBEL_9:struct 1