https://123dok.net/document/z1dwdpdv-some-properties-of-the-bornological-spaces.html