A medida que las clases de complejidad se acotan en espacio por funciones "más complejas" se obtienen conjuntos de problemas incluidos propiamente: