同値関係
Def
集合
$ S
の元に対して、下記を全て満たす関係
$ x \sim y
を同値関係という。
反射律:
$ x \sim x
対称律:
$ x \sim y
ならば
$ y \sim x
推移律:
$ x \sim y
かつ
$ y \sim z
ならば
$ x \sim z