恰集﹡

恰集名词解释：中介公理集合论的基本集合之一.恰集的直观含义是名词解释：给定谓词P,如果集合A满足如下条件名词解释：
1.P(x)|—|x∈A;
2.～P(x)|—|xA;
3.P(x)|—|xA;
则称集合A为谓词P的恰集,简记为AP.如图中之集合A便是谓词P的惟一确定的恰集.当然,这里对于任一使xA的x而言,没有再对x部分地属于A的程度的多少去做区分.恰集AP在MS系统中的形式定义为AP(x,t)=_dfx(x∈aP(x,t)).

由如上形式定义看出,当A为P的恰集时,则对任何x而言,x∈A与P(x,t)是等值的.另外,上述形式定义中对于exa下面的x,在不致引起混淆的情况下,往往略去不写.并在MS系统中有如下的恰集简记形式