有界束
bounded lattice
summary.icon
始対象
と
終対象
を持つ
束 (lattice)
i.e.
有限直積
と
有限余直積
をもつ
半順序集合
有限完備
かつ
有限余完備
な
半順序集合
イコライザーとコイコライザーは自明
out-of.icon
束 (lattice)
半順序集合
reference.icon
束 (束論) - Wikipedia