同値関係

集合$S$上の2項関係$R$で 次の条件を満たすものを同値関係という．

(反射律)	全ての$x\in S$に対して$xRx$
(対称律)	$xRy$ならば$yRx$
(推移律)	$xRy$かつ$yRz$ならば$xRz$