https://1library.net/document/z1ep0opy-g-closed-generally-point-subset-quotient-space-closed.html