子集是壹個數學概念：如果集合A的任意壹個元素都是集合B的元素，那麽集合A稱為集合B的子集。符號語言：若?a∈A，均有a∈B，則A?B。
如果集合A的任意壹個元素都是集合B的元素（任意a∈A則a∈B），那麽集合A稱為集合B的子集，記為A?B或?B?A，讀作“集合A包含於集合B”或集合B包含集合A”。
即：?a∈A有a∈B，則A?B。
擴展資料：
集合的特性：
1、確定性
給定壹個集合，任給壹個元素，該元素或者屬於或者不屬於該集合，二者必居其壹，不允許有模棱兩可的情況出現 。
2、互異性
壹個集合中，任何兩個元素都認為是不相同的，即每個元素只能出現壹次。有時需要對同壹元素出現多次的情形進行刻畫，可以使用多重集，其中的元素允許出現多次。
3、無序性
壹個集合中，每個元素的地位都是相同的，元素之間是無序的。集合上可以定義序關系，定義了序關系後，元素之間就可以按照序關系排序。但就集合本身的特性而言，元素之間沒有必然的序。
百度百科——子集