 Thus global hyperbolicity sets a balance on the abundance of compact sets in relation to the causal structure.Since finer topologies have less compact sets we can also say that the balance is on the number of open sets given the causal relation.Definition 4 is also robust under perturbations of the metric (which in principle could introduce closed causal curves).