极小对是什么意思？

极小对是一对特殊的递归可枚举度，极小对的存在性最早是由耶茨(Yates , C. E. M.)证明的。极小对的存在性指出，虽然R是稠密的，但休恩菲尔德猜想仍不成立。关于极小对的进一步的结果，拉克伦(Lachlan,A. H.)证明了并非每个非0的递归可枚举度都有一个极小对。