導出劃分

集合論方法描述詞的集合的基本概念

基本介紹

  • 中文名:導出劃分
  • 外文名:derivational partition
導出劃分(derivational partition),由相應的B等價可以產生詞的集合曰的一個新的劃分,稱為B劃分的導出劃分,記為B' .
由導出劃分B'產生的新導出劃分B'與原導出劃分B重合,即B'= B.

相關詞條

熱門詞條

聯絡我們