Category:Definitions/Topology Generated by Synthetic Sub-Basis
Jump to navigation
Jump to search
This category contains definitions related to Topology Generated by Synthetic Sub-Basis.
Define:
- $\ds \BB = \set {\bigcap \FF: \FF \subseteq \SS, \FF \text{ is finite} }$
That is, $\BB$ is the set of all finite intersections of sets in $\SS$.
Note that $\FF$ is allowed to be empty in the above definition.
The topology generated by $\SS$, denoted $\map \tau \SS$, is defined as:
- $\ds \map \tau \SS = \set {\bigcup \AA: \AA \subseteq \BB}$
Pages in category "Definitions/Topology Generated by Synthetic Sub-Basis"
The following 3 pages are in this category, out of 3 total.