Topological space

TODO: clarify discrete spaces????