Si un espacio-tiempo o una región son globalmente hiperbólicos entonces existe una familia de hipersuperficies de Cauchy que constituyen una foliación de ese espacio-tiempo o región (es decir, la región o espacio-tiempo pueden ser divididos en una infinidad de hipersuperficies de Cauchy "apiladas" unas sobre las otras).