https://5dok.net/document/y4wx9n5v-topologische-ruimte-s-deelverzameling-x-bewijs-x-s.html