同値関係
相等関係 (=):集合としてあるいは集合の元として同じである。表現形式や構成要素が同一である。
図形の合同関係:位置や裏表や向きの違いを無視して、図形として同じである。
図形の相似関係:裏表・向き・大きさの比率の違いを無視して、図形の "形" としては同じである。
量の比例関係:増え方・減り方の割合としては同じである。
整数の合同関係:ある数で割った余りが同じである。
以下のものは一般には、類における "関係" となる。
集合の濃度の対等 "関係":集合の中身は別として、集合の大きさとしては同じである。
命題が同値であるという "関係":2つの命題において、真偽(真理値)が同じである、または互いに片方から他方を証明できる。