束論は、束 と呼ばれる 順序構造から得られる 代数的構造に関する 数学である。

ブール代数やハイティング代数を含む。

情報科学(Information Science)

集合論（set theory）