关于递归可枚举度可杯可盖性质的一道命题

运用关键点编码技巧构造性地证明了在递归可枚举度集中，对任给的非递归的递归可枚举度ｄ，存在可盖的递归可枚举度ａ和递归可枚举度ｃ满足ｄ≮≠ｃ，并且有ｄ≤ａ∪ｃ。