https://9lib.net/document/wye7ev4z-view-semi-generalized-closed-set-closure-spaces.html