希腊字母小写的ε，是朱塞佩·皮亚诺在1889年引入，应该是因为是ἐστί（意思是"是"）的第一个字母。也常在"x" ∉ "A"的式子中用到符号 ∉，意思是x不属于A。
相等.两个集合"A"和"B"若其元素完全相同，则定义为二集合相等。也就是说，集合"A"的每一个元素都在集合"B"里，而集合"B"的每一个元素都在集合"A"里（参考外延公理）。因此一个集合可完全由其元素来确认，描述方式不是重点。例如一个有元素2, 3和5的集合和由小于6的质数组成的集合相等。若集合"A"和"B"相等