start time — infimum of a temporal interval