如果集合A是集合B的子集，並且集合B不是集合A的子集，那麼集合A叫做集合B的真子集（propersubset）。如果A包含於B，且A不等於B，就說集合A是集合B的真子集。
如果集合A⊆B，存在元素x∈B，且元素x不屬於集合A，我們稱集合A與集合B有真包含關係，集合A是集合B的真子集（propersubset）。記作A⊊B（或B⊋A），讀作“A真包含於B”（或“B真包含A”）。
即：對於集合A與B，∀x∈A有x∈B，且∃x∈B且x∉A，則A⊊B。空集是任何非空集合的真子集。
如果集合A是集合B的子集，並且集合B不是集合A的子集，那麼集合A叫做集合B的真子集（propersubset）。如果A包含於B，且A不等於B，就說集合A是集合B的真子集。
如果集合A⊆B，存在元素x∈B，且元素x不屬於集合A，我們稱集合A與集合B有真包含關係，集合A是集合B的真子集（propersubset）。記作A⊊B（或B⊋A），讀作“A真包含於B”（或“B真包含A”）。
即：對於集合A與B，∀x∈A有x∈B，且∃x∈B且x∉A，則A⊊B。空集是任何非空集合的真子集。
