: yán xué shù : shù xué yìng yòng shù xué : xué lèi : ruǎn jiàn : tōng xìn gōng chéng > 
nínshìfǒuzàixúnqiú:补遗子集gèngduōjiéguǒ...
mùlù
dìng Definition
  duì liǎng A B, guǒ A de rèn yuán dōushì B de yuán men jiù shuō A bāo hán B, huò B bāo hán A, shuō A shì B de guǒ A de rèn yuán dōushì B de yuán ér B zhōng zhì shǎo yòu yuán shǔ A, chēng A shì B de zhēn kōng shì rèn de rèn shì běn shēn de . kōng shì rèn fēi kōng de zhēn .
Examples
   men zhī dàorèn zhèng 'ǒu shù dōushì rán shùjiù shì shuōzhèng 'ǒu shù E de rèn yuán dōushì rán shù N de yuán
   duì liǎng A B, guǒ A de rèn yuán dōushì B de yuán me A jiào zuò B de zuò
   zuò A hán B huò B bāo hán A)。 shàng shù de
   guǒ A zhōng zhì shǎo yòu yuán shǔ B, me A shì B de zuò
   zuò“ A hán B”( huò“ B bāo hán A”)。
xìng zhì Nature
  mìng 1: kōng shì rèn de
   zhèng mínggěi dìng rèn A, yào zhèng míng Φ shì A de zhè yào qiú gěi chū suǒ yòu Φ de yuán shì A de yuán dàn shì, Φ méi yòu yuán
   duì yòu jīng yàn de shù xué jiā men lái shuōtuī lùnméi yòu yuán suǒ Φ de suǒ yòu yuán shì A de yuán " shì xiǎn rán dedàn duì chū xué zhě lái shuōyòu xiē fányīn wéi Φ méi yòu rèn yuán shǐ " zhè xiē yuán " chéng wéi bié de de yuán huàn zhǒng wéi jiāng yòu suǒ bāng zhù
   wèile zhèng míng Φ shì A de zhǎo dào yuán shǔ Φ, dàn shǔ A。 yīn wéi Φ méi yòu yuán suǒ zhè shì néng deyīn Φ dìng shì A de
   zhè mìng shuō míngbāo hán shì zhǒng piān guān
   mìng 2: ruò A, B, C shì
   fǎn xìng :A⊆A
   fǎn duìchèn xìng :A⊆B qiě B⊆A dāng qiě jǐn dāng A=B
   chuán xìng : ruò A⊆B qiě B⊆C A⊆C
   zhè mìng shuō míngduì rèn S, S de 'àn bāo hán pái shì yòu jiè shàng shù mìng xiāng jié shì 'ěr dài shù
   mìng 3: ruò A, B, C shì S de
   cún zài zuì xiǎo yuán zuì yuán
  Φ⊆A⊆S(thatΦ⊆AisProposition1above.)
   cún zài bìng yùn suàn :
  A⊆A B
   ruò A⊆C qiě B⊆C A∪ B⊆C
   cún zài jiāo yùn suàn :
  A B⊆A
   ruò C⊆A qiě C⊆B C⊆A∩ B
   zhè mìng shuō míngbiǎo shù "A⊆B" shǐ yòng bìng jiāo de biǎo shù shì děng jià de bāo hán guān zài gōng zhōng shì duō de
   mìng 4: duì rèn liǎng A B, xià liè biǎo shù děng jià
  A⊆B
  A∩ B=A
  A∪ B=B
  A−B=
  B ⊆A′
zhù wèn Attention problems
  tán bié yào zhù de shì kōng zhù kōng shì rèn de ér shì rèn de zhēn , kōng jiù shì kōng de zhēn kōng shì rèn fēi kōng de zhēn rán hòu yào zhī dào guǒ de yuán yòu n me de yòu 2 de n fāng zhù kōng de cún zài), . fēi kōng yòu 2 de n fāng jiǎn 1 zhēn yòu 2 de n fāng jiǎn 1 fēi kōng zhēn yòu 2 de n fāng jiǎn 2
yīngwénjièshì
  1. n.:  subclass,  subset
xiàngguāncí
dài shù shù xué jiāo