極小蓋(minimal cover)極小度概念的相對化。
極小蓋(minimal cover)極小度概念的相對化.對不可解度a<b，若0}(a,b) _曰，即}}c(a<c<b)，則稱b為a的極小蓋.若b為某個a的極小蓋，稱b為極小蓋.將極小度的證明相對化之後，可以將關於極小度的大部分結果推廣到極小蓋.具體地，任何一個不可解度都有2氏個極小蓋，並且在d`之下存在d的極小蓋。但並非任何不可解度都是極小蓋，如任何re度都不是極小蓋.不過少中存在極小蓋的錐，即存在a，使所有d>a都是極小蓋.
極小蓋的概念可加強為如下強極小蓋的概念:對a<b，若dc(c<b}c毛a)，則稱b為a的強極小蓋.若b為某個a的強極小蓋，則稱b為強極小蓋.顯然，若b為a的強極小蓋，則b為a的極小蓋.但與極小蓋不同，並非任何度都存在強極小蓋，如0'就沒有強極小蓋.
極小蓋的概念可加強為如下強極小蓋的概念:對a<b，若dc(c<b}c毛a)，則稱b為a的強極小蓋.若b為某個a的強極小蓋，則稱b為強極小蓋.顯然，若b為a的強極小蓋，則b為a的極小蓋.但與極小蓋不同，並非任何度都存在強極小蓋，如0'就沒有強極小蓋.
