Definition:Time-Constructible Function

Also see

 * Equivalence of Definitions of Time-Constructible Functions