恰集

恰集((exact set)中介公理集合論的基本集合之一恰集的直觀含義是:給定謂詞式，如果集合A 滿足如下條件:則稱集合A為謂詞中之集合A便是謂詞P的惟一確定的恰集。

簡介

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

則稱集合A為謂詞中之集合A便是謂詞P的惟一確定的恰集.當然，這裡對於任一使x若A的 P的恰集，簡記為A exa P.如圖

x而言，沒有再對x部分地屬於A的程度的多少去做區分.恰集A exa P在MS系統中的形式定義為

由如上形式定義看出，當A為P的恰集時，則對任何x而言，xEA與P(x,t>是等值的.另外，上述形式定義中對於。xa下面的x，在不致引起混淆的情況下，往往略去不寫.並在MS系統中有如下的恰集簡記形式