*Definition [#w42c4358]
-Same as [[Lindeloef]] and [[finally compact]].