反產生集(contraproductive set)與產生集等JI}'的一個概念.設A為任何自然數集,若存在遞歸'}a數f,使得d.} <A}W二一f<.z)EW二一A>,則稱A反產生集合.穆切尼克(Mucnik,A. A.)證明了:A為反產生集,若且唯若A為產生集.從而反產生集與產生集實為等價的概念.