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