子集是一個(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)? 和≦有相似之處,開口指向"較大的一邊"。