If

and

be sequent and on a point-track, and

be the time-system whose point

is occupied by