eine Menge A, für die es eine total berechenbare Funktion f gibt, so daß für alle x gilt: \begin{eqnarray}{W}_{x}\subseteq A\Rightarrow f(f)\in A-{W}_{x}.\end{eqnarray}

Hierbei ist W₁, W₂, … eine Aufzählung der rekursiv aufzählbaren Mengen. Eine solche Aufzählung erhält man durch Arithmetisierung aller Turing-Maschinen.

Eine produktive Menge ist auf „konstruktive“ Weise nicht rekursiv aufzählbar: Zu jeder rekursiv aufzählbaren Teilmenge von A gibt es effektiv ein Gegenbeispiel dazu, daß A identisch mit dieser rekursiv aufzählbaren Menge ist.