始対象と終対象を持つ束 (lattice)

i.e.

有限直積と有限余直積をもつ半順序集合

有限完備かつ有限余完備な半順序集合

イコライザーとコイコライザーは自明

束 (束論) - Wikipedia