Se define para cualquier conjunto acronal S, se designa mediante H^+(S);, y está formado por el conjunto de puntos en la clausura del dominio de dependecia futuro de S que no están contenidos en el pasado cronológico de dicho dominio de dependencia, es decir, H^+(S) = ar{D^+(S)} - I^-(D^+(S)).