shù xué jiào : yán xué shù : tōng xìn gōng chéng > zhēn 
mùlù
míng chēng dìng
   guǒ a shì b de bìng qiě b zhōng zhì shǎo yòu yuán shǔ a, me a jiào zuò b de zhēn kōng shì rèn fēi kōng de zhēn
   guǒ a de suǒ yòu yuán tóng shí dōushì b de yuán a chēng zuò shì b de xiě zuò a⊆b。 ruò a shì b de qiě a děng b, a chēng zuò shì b de zhēn xiě zuò a⊂b。
   suǒ yòu nán rén de shì suǒ yòu rén de de zhēn
   suǒ yòu rán shù de shì suǒ yòu zhěng shù de de zhēn
  {1,3}⊂{1,2,3,4}
  {1,2,3,4}⊆{1,2,3,4}
   kōng shì suǒ yòu de ér suǒ yòu dōushì běn shēn de
  <math>varnothing</math>⊆a
  a⊆a
zhēn de bié
   jiù shì zhōng de yuán quán dōushì lìng zhōng de yuán yòu néng lìng xiāng děng
   zhēn jiù shì zhōng de yuán quán shì lìng zhōng de yuán dàn cún zài xiāng děng
zhēn fēi kòngzi de suàn
  ruò a yòu n yuán a de shù wéi 2^n( 2 de n fāng) , yòu 2^n-1 zhēn , yòu 2^n-2 fēi kōng zhēn
   zhèngshè yuán biān hào wéi 1,2,...n。 měi duì yìng cháng wéi n de 'èr jìn zhì shù , shù de i wèi wéi 1 biǎo shì yuán i zài zhōng, 0 biǎo shì yuán i zài zhōng
  00...0(n 0)~11...1(n 1)[ èr jìn zhì ]
   gòng yòu 2^n shùyīn duì yìng 2^n diào 11...1( quán 1, biǎo shì yuán lái de a) yòu 2^n-1 zhēn zài diào 00...0( quán 0, biǎo shì kōng yòu 2^n-2 fēi kōng zhēn
   shuō {a,b,c} yuán biān hào wéi a--1,b--2,c--3
  111<-->{a,b,c}--> a
  110<-->{a,b,}--> yuán 1(a), yuán 2(b) zài zhōng
  101<-->{a,,c}--> yuán 1(a), yuán 3(c) zài zhōng
  ......
  001<-->{,,c}
  000<-->{,,}--> kōng
míng chēng dìng
   guǒ A shì B de bìng qiě B zhōng zhì shǎo yòu yuán shǔ A, me A jiào zuò B de zhēn
shuō míng
   guǒ A de suǒ yòu yuán tóng shí dōushì B de yuán A chēng zuò shì B de xiě zuò A⊆B。 ruò A shì B de qiě A děng B, A chēng zuò shì B de zhēn xiě zuò A⊂B。
  1 kōng shì suǒ yòu de
  2 suǒ yòu dōushì běn shēn de
  3 kōng shì suǒ yòu fēi kōng de zhēn
  suǒ yòu nán rén de shì suǒ yòu rén de de zhēn
   suǒ yòu rán shù de shì suǒ yòu zhěng shù de de zhēn
  {1,3}⊂{1,2,3,4}
  {1,2,3,4}⊆{1,2,3,4}
bāo hán cí
fēi kōng zhēn zhēn de bié