位相と論理と私6：ブール環（pp.11-13）

前回はブール代数を学びましたが，今回はブール環をやります．この２つの概念って異なるものだったのですね（？）

ブール代数とは何だったか順序集合において任意の有限集合にjoinとmeet（最小上界と最大下界）が存在するとき，その順序集合を束といいました．

束が分配律$${a\land (b\lor c)=(a\land b)\lor (a\land c)}$$を満たすとき，その束のことを分配束とい