eine rekursiv aufzählbare Menge, deren Komplementmenge produktiv ist.

Es gilt der Satz:

Eine Menge A ist genau dann kreativ, wenn sie m-vollständig ist (d. h., daß alle rekursiv aufzählbaren Mengen auf A many-one-reduzierbar sind).