1、一般地，我們把研究對象統稱為元素，把一些元素組成的總體叫做集合。集合間的關系有“包含”關系——子集、不含任何元素的集合——空集、真子集等。
2、子集是一個數學概念：如果集合A的任意一個元素都是集合B的元素，那麼集合A稱為集合B的子集。符號語言：若∀a∈A，均有a∈B，則A⊆B。
3、如果集合A⊆B，存在元素x∈B，且元素x不屬於集合A，我們稱集合A與集合B有真包含關系，集合A是集合B的真子集（propersubset）。記作A⊊B（或B⊋A），讀作“A真包含於B”（或“B真包含A”）。
4、如果兩個集合S和T的元素完全相同，則稱S與T兩個集合相等，記為S=T。
