A transaction-time interval can be represented with a non-empty set of contiguous transaction-time chronons.