Fijado un evento "E" el conjunto de eventos de la categoría (3) que no son eventos ni futuros ni pasados respecto a "E" puede dividirse en tres subconjuntos: