DTIME satisfies the time hierarchy theorem, meaning that asymptotically larger amounts of time always create strictly larger sets of problems.
Mjere vremena računanja zadovoljavaju teorem o vremenskoj hijerarhiji, što znači da će asimptotski veće količine vremena računanja uvijek dopustiti računanje strogo većih klasa složenosti.