极小对是一对特殊的递归可枚举度，极小对的存在性最早是由耶茨(Yates , C. E. M.)证明的。极小对的存在性指出，虽然R是稠密的，但休恩菲尔德猜想仍不成立。关于极小对的进一步的结果，拉克伦(Lachlan,A. H.)证明了并非每个非0的递归可枚举度都有一个极小对。
鸿凯词语词典，专业汉语查询工具。收录海量成语、近义词、反义词及组词，解释详尽，例句丰富。每日更新，助力您的语言学习与创作。