https://9lib.org/document/qvl9gxo1-generalizing-locally-compact-spaces-introduced-defined-locally-compact.html