導出劃分

導出劃分(derivational partition)用集合論方法描述詞的集合的基本概念之一給定一個B劃分B,由相應的B等價可以產生詞的集合曰的一個新的劃分,稱為B劃分的導出劃分,記為B' .
由導出劃分B'產生的新導出劃分B'與原導出劃分B重合,即B"= B.

相關詞條

熱門詞條

聯絡我們