常在"x" ∉ "A"的式子中用到符号 ∉，意思是x不属于A。
相等.两个集合"A"和"B"若其元素完全相同，则定义为二集合相等。也就是说，集合"A"的每一个元素都在集合"B"里，而集合"B"的每一个元素都在集合"A"里（参考外延公理）。因此一个集合可完全由其元素来确认，描述方式不是重点。例如一个有元素2, 3和5的集合和由小于6的质数组成的集合相等。若集合"A"和"B"相等，可以表示为"A" = "B"。
空集合.空集合常会以Ø表示，有时会表示为fo