Add a proposition to metric space notes which characterizes which subsets of a metric space are connected as subspaces. The last commit was actually accidental, but I think it's going to be a lot of work to fix it and I don't care enough