rúguǒ a shì b dezǐjí, bìngqiě b zhōngzhìshǎoyòuyīgèyuánsùbùshǔyú a, nàmejíhé a jiàozuòjíhé b dezhēnzǐjí , kōngjíshìrènhéfēikōngjíhédezhēnzǐjí 。
jǔlì
rúguǒjíhé a desuǒyòuyuánsùtóngshídōushìjíhé b deyuánsù, zé a chēngzuòshì b dezǐjí, xiězuò a⊆b。 ruò a shì b dezǐjí, qiě a bùděngyú b, zé a chēngzuòshì b dezhēnzǐjí , xiězuò a⊂b。
suǒyòunánréndejíhéshìsuǒyòuréndejíhédezhēnzǐjí 。
suǒyòuzìránshùdejíhéshìsuǒyòuzhěngshùdejíhédezhēnzǐjí 。
{1,3}⊂{1,2,3,4}
{1,2,3,4}⊆{1,2,3,4}
kōngjíshìsuǒyòujíhédezǐjí, érsuǒyòujíhédōushìqíběnshēndezǐjí:
<math>varnothing</math>⊆a
a⊆a
ruòjíhé a yòu n gèyuánsù, zéjíhé a dezǐjígèshùwéi 2^n( jí 2 de n cìfāng) , zéyòu 2^n-1 gèzhēnzǐjí , zéyòu 2^n-2 gèfēikōngzhēnzǐjí zhèng: shèyuánsùbiānhàowéi 1,2,...n。 měigèzǐjíduìyìngyīgèchángdùwéi n de 'èrjìnzhìshù , shùdedì i wèiwéi 1 biǎoshìyuánsù i zàijíhézhōng, 0 biǎoshìyuánsù i bùzàijíhézhōng。
00...0(n gè 0)~11...1(n gè 1)[ èrjìnzhì ]
yīgòngyòu 2^n gèshù, yīncǐduìyìng 2^n gèzǐjí, qùdiào 11...1( jíquán 1, biǎoshìyuánláidejíhé a) zéyòu 2^n-1 gèzhēnzǐjí , zàiqùdiào 00...0( jíquán 0, biǎoshìkōngjí) zéyòu 2^n-2 gèfēikōngzhēnzǐjí bǐrúshuōjíhé {a,b,c} yuánsùbiānhàowéi a--1,b--2,c--3
111<-->{a,b,c}--> jíjíhé a
110<-->{a,b,}--> yuánsù 1(a), yuánsù 2(b) zàizǐjízhōng 101<-->{a,,c}--> yuánsù 1(a), yuánsù 3(c) zàizǐjízhōng ......
001<-->{,,c}
000<-->{,,}--> jíkōngjí
míngchēngdìngyì
rúguǒ A shì B dezǐjí, bìngqiě B zhōngzhìshǎoyòuyīgèyuánsùbùshǔyú A, nàmejíhé A jiàozuòjíhé B dezhēnzǐjí
shuōmíng
rúguǒjíhé A desuǒyòuyuánsùtóngshídōushìjíhé B deyuánsù, zé A chēngzuòshì B dezǐjí, xiězuò A⊆B。 ruò A shì B dezǐjí, qiě A bùděngyú B, zé A chēngzuòshì B dezhēnzǐjí , xiězuò A⊂B。
1 kōngjíshìsuǒyòujíhédezǐjí 2 suǒyòujíhédōushìqíběnshēndezǐjí 3 kōngjíshìsuǒyòufēikōngjíhédezhēnzǐjí