Bases and comparison
A collection ℬ is a base iff it covers X and for ℬ and there is ℬ with .
is finer than if . Discrete is the finest, indiscrete the coarsest.
| Topology on | Finer than usual? |
|---|---|
| discrete | yes, strictly |
| Sorgenfrey (lower limit, [a,b)) | yes, strictly |
| usual | — |
| cofinite | no, strictly coar |