A classe de complexidade é definida como
.
Sabe-se que é fechado sob adição, multiplicação e coeficiente binomial. Eu queria saber se está fechado sob o poder. Por exemplo, recebemos uma função \ sharpp f e outra função \ sharpp g . É verdade que f ^ {g} ou g ^ {f} também são funções \ sharpp ?
Isso é editado após a resposta da pergunta.
É ( modulo ) a função? Como sobre quando nos é dado um função . Então é ( módulo ) uma função ?