| 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 |
The ${\bf{D}}$ stands for deterministic.