DTV13 — Indefinite time intervals should not depend on occurrences

The indefinite time intervals are defined in Clause 16 in terms of occurrences that are not defined. The idea of indefinite time intervals should be in Clause 8, where it is needed for indefinite time point sequences. By defining Eternity to be the time interval that includes all time intervals, and primoridality to start Eternity and perpetuity to end Eternity, the concept can be divorced from occurrences and included in clause 8.

Define the indefinite time intervals in terms of time interval relationships and move them to Clause 8.

The RTF agrees that the indefinite time intervals should be defined in clause 8, independently of the occurrence concept. The proposed approach for ‘eternity’ is essentially correct, but the concept ‘primordiality’ should be a unique time interval that starts Eternity.