Thanks for the clarification! In my mind, I sort of just think “metric first” so the topology induced by that metric is always just assumed, but that’s because I don’t ever work with non-metrizable spaces.