video
definition, using half-open intervals as its basis
It is strictly finer than the Standard topology