1、子集：如果集合A的任意一個元素都是集合B的元素，那麼集合A稱為集合B的子集。

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

3、屬於：a是集合A中的元素，那麼稱a屬於集合A。

4、不屬於：a不是集合A中的元素，那麼稱a不屬於集合A。

5、包含：如果集合A的任意一個元素都是集合B的元素，那麼集合A叫做集合B的子集，記作A包含於B或B包含A。

注意：空集被任一一個集合所包含，就是任何集合的子集。如果集合A的元素是集合B的子集，並且B中至少有一個元素不屬於A，那麼集合A叫做集合B的真子集，記作A真包含於B或B真包含A。

擴充套件資料：

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

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

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

即：對於集合A與B，x∈A有x∈B，且x∈B且x A，則A夿。空集是任何非空集合的真子集。

參考資料：