包含符號為⊆，A ⊆B是指集合A是集合B的子集，包括A=B的情況；真包含符號為⫋，A⫋B是指集合A是集合B的子集，但A≠B。

⫋：這個符號的意思就是包含但不等於。

舉個例子:

A＊B （＊就是你說的這個符號，手機打不出來，用＊代替一下）

意思就是集合A包含於但不等於集合B，就是說集合A的所有元素都在集合B中，但集合B還有不屬於集合A的元素。

如果這個符號沒有下面的不等於號，就是AcB，就是集合A包含於集合B，這樣的話，集合A和B有可能相等。

真子集

如果集合A是集合B的子集，並且集合B不是集合A的子集，那麼集合A叫做集合B的真子集（proper subset）。如果A包含於B,且A不等於B,就說集合A是集合B的真子集。

定義

子集

一般地，對於兩個集合A、B，如果集合A中任意一個元素都是集合B中的元素，我們就說這兩個集合有包含關係，稱集合A為集合B的子集（subset）。記作A⊆B（或B⊇A），讀作“A包含於B”（或“B包含A”）。

即，對於集合A與B，∀x∈A有x∈B，則A⊆B。可知任一集合A是自身的子集，空集是任一集合的子集。

真子集

如果集合A⊆B，存在元素x∈B，且元素x不屬於集合A，我們稱集合A與集合B有真包含關係，集合A是集合B的真子集（proper subset）。記作A⫋B（或B⫌A），讀作“A真包含於B”（或“B真包含A”）。

舉例

所有亞洲國家組成的集合是地球上所有國家組成的集合的真子集；所有自然數的集合是所有整數的集合的真子集（即N⫋Z）；{1, 3} ⫋ {1, 2, 3, 4}，{1, 2, 3} ⫋ {1, 2, 3, 4}； ∅ ⫋ {∅}。但不能說{1, 2, 3} ⫋ {1, 2, 3}。[2]

設全集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}、∅。它的非空真子集只能為{1}、{2}、{3}、{1, 2}、{1, 3}、{2, 3}。