Si un intervalo propio T1 es posterior a otro intervalo propio T2, entonces el principio de T1 está después que el final de T2.

If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2.