ä¸ä¸ªéå(é¤
空é)æ¯å
¶èªèº«çåé,å³A⊆A.ä½å¦æä½ è¯´ä¸ä¸ªéåæ¯å®æ¬èº«çä¸ä¸ªå
ç´ ,æè°ä¸ä¸ªéåAæ¯å¦ä¸ä¸ªéåBçå
ç´ ,æ¯æç»æBçå
ç´ ä¸æAè¿ä¸ªéå.
æ¯å¦è¯´A={1},B={{1},{2}},é£ä¹éåAæ¯éåBçå
ç´ .
èå¦æéåAæ¯éåAæ¬èº«çå
ç´ ,ä¾å¦A={1},Aä¸å«æçæ¯1è¿ä¸ªå
ç´ ,ä½å®æ²¡æ{1}è¿ä¸ªå
ç´ .
æ以Aä¸å¯è½æ¯Açå
ç´ ,åªè½æ¯åé. 空éçå®ä¹ï¼ä¸å«ä»»ä½å
ç´ çéå称为空éã空éçæ§è´¨ï¼ç©ºéæ¯ä¸åéåçåéã空éæ¯ä»»ä½é空éåç
çåéã æ以综ä¸æè¿°ï¼æ²¡æä»»ä¸ä¸ªéå以å®æ¬èº«ä½ä¸ºå
ç´ ã