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