訂正

ブール束Bの部分集合Sが含意"→"で閉じている⇔Sは最大元⊤を含み、*∨で閉じていて*、Sの任意の元xに対して[x,⊤]∩SはBの部分ブール代数

ブール束Bの部分集合Sが含意"→"で閉じている⇔Sは最大元⊤を含み、*∨で閉じていて*、Sの任意の元xに対して[x,⊤]∩Sは~~Bの部分ブール代数~~ブール束