DTIME

Set

 context $T:\mathbb N\to\mathbb N$
 definiendum $L\in \mathrm{\bf{DTIME}}(T(n))$
 inclusion $L\subseteq\{0,1\}^*$
 range $M\in\mathrm{TM}$ range $c\in\mathbb{N}$
 postulate $\exists M,c.\ M$ decides $L$ in $c\cdot T(n)$-time

Discussion

The ${\bf{D}}$ stands for deterministic.