其是數學術語，具體如下：

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

真子集是對於子集來說的

真子集定義：如果集合A⊆B，但存在元素x∈B，且元素x不屬於集合A，我們稱集合A是集合B的真子集。

也就是說如果集合A的所有元素同時都是集合 B 的元素，則稱 A 是 B 的子集，

若 B 中有一個元素，而A 中沒有，且A 是 B 的子集，則稱 A 是 B 的真子集，

注：①空集是所有集合的子集；

②所有集合都是其本身的子集；

③空集是任何非空集合的真子集

例如：所有亞洲國家的集合是地球上所有國家的集合的真子集．

所有的自然數的集合是所有整數的集合的真子集．