Una superficie atrapada una variedad riemanniana de dos dimensiones compacta que tiene la propiedad de que tanto su como su pasado causal tiene en todo punto una expansión negativa.