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