反対称律

反対称律(antisymmetric law)

集合から何かしらの元xとyを選んだときにx○yとy○xが両方成り立つ場合のこと

$ \forall x, y \in X(xRy \land yRx \implies x = y)

読み方: 集合Xに属するすべての元x, yは、xからyの関係かつ、yからxの関係ならばx = yである

確認用

Q. 反対称律

参考

メモ

調査用

Wikipedia.icon

Wikipedia.icon