有向集合 ゆうこうしゅうごうdirected set

ブリタニカ国際大百科事典 小項目事典の解説

有向集合
ゆうこうしゅうごう
directed set

順序の定義された集合，すなわち順序集合において，任意の2つの元 a，bをとるとき，a≦c，b≦cであるような元 cが必ず存在するとき，この集合を有向集合という。束は当然有向集合なので，たとえばある全体集合のすべての部分集合の集合は，包含関係⊆に関して一つの有向集合である。

出典　ブリタニカ国際大百科事典 小項目事典