同値関係
二項関係
のうち、以下を満たすものが同値関係。
ある集合
$ S
において、以下の3つの性質をもつ二項関係
$ \sim
は、
$ S
上の同値関係である。
反射法則
$ a \sim a
対称法則
$ a \sim b \implies b \sim a
推移法則
$ (a \sim b) \land (b \sim c) \implies a \sim c
同値関係の記号には、
$ =
や
$ \equiv
が一般的に使われる。
https://ja.wikipedia.org/wiki/同値関係