equivalence relation

equivalence relationは、数学、特に集合論や代数系において、ある集合の要素同士がある意味で等しいことを定義するための基礎的な概念です。単なる等号（＝）よりも広い意味での等しさを定義でき、これにより複雑な構造を単純なグループにまとめて扱うことが可能になります。

同値関係の三つの必須条件

ある関係がequivalence relationとして認められるためには、以下の三つの性質をすべて満たす必要があります。

反射律：すべての要素が自分自身と同じ関係にあること。
対称律：要素ＡがＢと同じ関係であれば、ＢもＡと同じ関係であること。
推移律：ＡがＢと同じで、ＢがＣと同じであれば、ＡもＣと同じ関係であること。

これらの条件が揃うことで、集合は重なりのないグループ（同値類）に完全に分割されます。

等価性と同値性の違い

日常会話や一般的な文脈で使われる等しいという言葉は、多くの場合、完全に同一であることを指します。しかし、数学的なequivalence relationでは、特定の基準に基づいて同じ扱いにすることを意味します。

例えば、時計の時刻において、13時と1時は数値としては異なりますが、12時間表記という基準においては同じ位置を指すため、これらは同値関係にあると言えます。このように、特定の属性に注目して要素を分類する際に非常に有用な概念です。