计算可枚举集的归约原理

计算可枚举集的归约原理（reduction principle for the computably enumerable sets），计算机科学技术名词，任给两个计算可枚举集 X，Y ，存在计算可枚举集X ∪ Y 。这里是空集合。