DTV12 — Figures in 10.7 do not match the text

In clause 10.7 (time sets), Figure 10.15 is followed by text that relates time sets to time point sequences, but time point sequences do not appear in the Figure. Similarly, Figure 10.16 is the same diagram, but it is followed by text that relates time sets to time periods, and time periods do not appear in the diagram.

Both of these diagrams are out-of-date. They are replaced with the correct diagrams.
Note also that Figure 10.15 correctly shows that ‘time point sequence matches time set’ specializes ‘thing is in set’. The entry is modified to capture this.