編集この項目では、二項関係について説明しています。命題については「同値」をご覧ください。この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。relation)は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割(類別)する。表すのがもっともよく用いられる記法である。上の同値関係であるという。c.上の三つをまとめてしばしば同値律という[1]。(=):集合としてあるいは集合の元として同じである。表現形式や構成要素が同一である。図形の合同関係:位置や裏表や向きの違いを無視して、図形として同じである。量の比例関係:増え方・減り方の割合としては同じである。整数の合同関係:ある数で割った余りが同じである。"関係":集合の中身は別として、集合の大きさとしては同じである。同値である元を全て集めた集合を考えることができる。X.}ゆえに同値類に関する性質を代表元の性質のみによって記述することは、一般には適当でない。