不相交集是两个特殊相关的集合。指两个集合没有公共元素。
对于两个集合 A 与 B,如果,则称 A 与 B 不相交。这一概念可以推广到多个集合的情况。设 是一集合族,如果对任何 成立,则称 是互不相交的集合族(两两不相交的集族)。[1]
集合论中,设A,B是两个集合,由所有属于集合A且属于集合B的元素所组成的集合,叫做集合A与集合B的交集(intersection)。即:A∩B= {x|x∈A∧x∈B},记作A∩B,读作“A与B的交集”。
空集是指不含任何元素的集合。空集是任何集合的子集,是任何非空集合的真子集。空集不是无;它是内部没有元素的集合。
可以将集合想象成一个装有元素的袋子,而空集的袋子是空的,但袋子本身确实是存在的。
根据定义,空集有 0 个元素,或者称其势为 0。然而,这两者的关系可能更进一步:在标准的自然数的集合论定义中,0 被定义为空集。实数0与空集是两个不同的概念,不能把0或{0}与Ø混为一谈。