等价关系

集合上的等价关系 是 子集 ，即，一个集合 由 的元素组成的有序对，满足特定属性。记作 "" 表示 是 的元素，我们说 " 与 相关"，那么这些属性是

1. 自反性： 对于所有

2. 对称性： 意味着 对于所有

3. 传递性： 和 意味着 对于所有

其中这三个属性是完全独立的。其他符号也常用于表示关系，例如， 或 。