子集是一個(gè)數(shù)學(xué)概念，如果***A的任意一個(gè)元素都是***B的元素（任意a∈A則a∈B），那么***A稱為***B的子集

對(duì)于兩個(gè)非空***A與B，如果***A的任何一個(gè)元素都是***B的元素，我們就說A?B(讀作A包含于B)，或B?A(讀作B包含A)，稱***A是***B的子集。

子集

規(guī)定:空集是任何***的子集,是任何非空***的真子集.

空集的子集是它本身。

如果A?B，而***B中至少有一個(gè)元素不屬于***A，則稱***A是***B的真子集。 任何一個(gè)***是它本身的子集.

***的包含關(guān)系和實(shí)數(shù)的大小關(guān)系有相似之處,記號(hào)? 和≦有相似之處,開口指向"較大的一邊"。