并定理

（计算机科学技术名词）

并定理是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。计算可枚举集合在集合并与交运算下是一致能行封闭的，即存在可计算函数 f，g 使得。这里是编码为 z 的图灵机计算的函数的定义域。