概集

概集簡介

概集(comprehension set)中介公理集合論的基本集合.概集的直觀含義是:給定謂詞屍，如果集合A滿足如下條件:

則稱集合A為謂詞P的概集，簡記為A come.設P 為一模糊謂詞，則圖中之A,B,C等都是P的概集. 一個謂詞P的概集可以有很多，而且既可以是清晰集，也可以是模糊集.如圖所示，集合 A,C為清晰集合，而B是模糊集合，但三者均為屍的概集.

概集A come在MS中的形式定義為

任一謂詞屍的恰集也一定是屍的概集，但謂詞屍的概集未必是P的恰集.當屍為清晰謂 }P(x)，詞時，則屍的恰集與概集完全一致，並且惟一確定. 如圖中之集合A便是disP的惟一確定的恰集，同時A也是屍的惟一確定的概集.

相關詞條