For the complexity classes defined in this way, it is desirable to prove that relaxing the requirements on (say) computation time indeed defines a bigger set of problems.
За класе сложености дефинисане на овај начин, пожељно је доказати да опуштање услова за (рецимо) рачунање времена заиста дефинише већи скуп проблема.