等價關係

集合上的等價關係 是 子集 ，即，一個集合 由 的元素組成的有序對，滿足特定屬性。記作 "" 表示 是 的元素，我們說 " 與 相關"，那麼這些屬性是

1. 自反性： 對於所有

2. 對稱性： 意味著 對於所有

3. 傳遞性： 和 意味著 對於所有

其中這三個屬性是完全獨立的。其他符號也常用於表示關係，例如， 或 。