等價者,同值也。
等價者(R),關係也,必以下是從:
凡等價是物,聚以成集,曰等價類(「a/R={x | xRa}」),聚以成集,曰商集(「A/R={a/R | a∈A}」)。等價類者,兩兩相交為空(「a/R ≠ b/R」則 「a/R ∩ b/R = φ」),合之為全集「a1/R∪a2/R∪... = A」),故曰劃分,謂其瓜分集合。
元素| 集| 族| 子集| 交集| 併集| 補集| 冪集| 有序對| 直積| 關係| 映射| 等價| 偏序