半束との対比

ウィキペディア小見出し辞書

半束との対比

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/31 01:45 UTC 版)

「有向集合」の記事における「半束との対比」の解説

有向集合は（結び）半束よりも一般の概念である。すなわち、任意の結び半束は、二元の結びをそれらの上限とみることにより有向集合となる。しかし逆は成り立たない。例えば {1000, 0001, 1101, 1011, 1111} にビットごとの順序（例えば 1000 ≤ 1011 は成り立つが 1000 ≤ 0001 は成り立たない）を入れた順序集合において、二元集合 {1000, 0001} は三つの上界を持つが、その中で最小のものは存在しない。