完全律
connexity
任意の元
$ a,b
に対して
$ a\le b
または
$ b\le a
であるかが成り立つ