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。