子集是壹個數學概念：如果集合A的任意壹個元素都是集合B的元素，那麽集合A稱為集合B的子集。
符號語言：若?a∈A，均有a∈B，則A?B。
如果集合A是B的子集，且A≠B，即B中至少有壹個元素不屬於A，那麽A就是B的真子集，可記作：A?B。
符號語言：若?a∈A，均有a∈B，且存在x∈B使x?A，則A?B。
如概述圖中，集合A就是集合B的真子集。
擴展資料
子集與真子集的區別
子集比真子集範圍大，子集裏可以有全集本身，真子集裏沒有，還有，要註意非空真子集與真子集的區別，前者不包括空集，後者可以有。
舉例說明，比如全集I為{1，2，3}；
它的子集為{1}、{2}、{3}、{1，2}、{1，3}、{2，3}、{1，2，3}、再加個空集；
而真子集為{1}、{2}、{3}、{1，2}、{1，3}、{2，3}、再加個空集，不包括全集I本身。