https://9lib.net/document/rz3mojdy-contribution-study-soft-proximity-spaces.html