元素$a$与一个给定的集合$A$只有两种可能：$a$属于集合$A$，表述为$a$是集合$A$的元素，记作$a∈A$；$a$不属于集合$A$，表述为$a$不是集合$A$的元素，记作$a∉A$.

一个集合的任意一个元素都是互不相同的，这就是集合元素的互异性.