同値関係
equivalence relation
定義
$ X
上の同値関係は、
部分集合
$ R\sube X\times X
で、
全ての
$ x\in X
に対して、以下3つの性質を満たすようなもののことを言う
反射律
対称律
推移律
/mrsekut-book-432011454X/070 (3.3 Setの有限余極限)
例
集合
$ S
上の関係
$ x=y
は同値関係である
合同関係
https://mathtrain.jp/equivrelation
/mrsekut-book-432011454X/070 (3.3 Setの有限余極限)