Una clase de complejidad tiene una definición de la forma: