束論
束論は、
束
と呼ばれる
順序構造
から
得られる
代数的構造
に
関する
数学
である。
ブール代数
や
ハイティング代数
を含む。
lattice theory
情報科学
(
Information Science
)
集合論
（
set theory
）