同値関係
数学において、同値関係(どうちかんけい、英: equivalence relation)とは二項関係であって反射的、対称的、推移的の3つの性質を満たすものをいう。そのことから、与えられた集合上の1つの同値関係はその集合を同値類に分割(類別)することが導かれる。
同値関係にあることを表すのに用いられる記法は文献によってさまざまであるが、与えられた集合上の同値関係 R に関して2つの元 a, b が同値であることを "a ~ b" や "a ≡ b" で表すことが最もよく用いられる。R に関して同値であることを明示する場合には、"a ~R b" や "a ≡R b" あるいは "aRb" などと書かれる。