余集为产生集的递归可枚举集。创造集的特征是：它本身是递归可枚举集而非递归集；它的余集不是递归可枚举集但含有递归可枚举的无穷子集。创造集都不是单纯集，创造集都是m完全的，而且
A是创造集当且仅当A是m完全集；
A是创造集当且仅当A是1－完全集。
例如：
都是创造集。
常见的不可判定的一阶理论(如一阶算术)的定理集都是创造集。
