読者です 読者をやめる 読者になる 読者になる

強制法

数学

Information

date version memo
2012/10/18 0.1 first
2012/10/22 0.2

概要

強制法の勉強用まとめ
現状まとめが適当なので、その内ちゃんとしたい。

前順序

1.反射律(reflexive)
2.推移律(transitive)

半順序

半順序(partially ordered set; poset)
1.広義(non-strict)
1.1.前順序
1.2.反対称律(antisymmetric)
2.狭義(strict)
2.1.非反射律(irreflexive)
2.2.非対称律(asymmetric)
2.3.推移律(transitive)

全順序

1.半順序
2.完全律(totalness)

広告を非表示にする