ふむ、implication algebraという名前があるのか
フォロー
ブール束Bの部分集合Sが含意"→"で閉じている⇔Sは最大元⊤を含み、Sの任意の元xに対して[x,⊤]∩SはBの部分ブール代数
ブール束Bの部分集合Sが含意"→"で閉じている⇔Sは最大元⊤を含み、*∨で閉じていて*、Sの任意の元xに対して[x,⊤]∩Sは~~Bの部分ブール代数~~ブール束
ふむ、implication algebraという名前があるのか
ブール束Bの部分集合Sが含意"→"で閉じている⇔Sは最大元⊤を含み、Sの任意の元xに対して[x,⊤]∩SはBの部分ブール代数
ブール束Bの部分集合Sが含意"→"で閉じている⇔Sは最大元⊤を含み、*∨で閉じていて*、Sの任意の元xに対して[x,⊤]∩Sは~~Bの部分ブール代数~~ブール束
訂正
ブール束Bの部分集合Sが含意"→"で閉じている⇔Sは最大元⊤を含み、*∨で閉じていて*、Sの任意の元xに対して[x,⊤]∩SはBの部分ブール代数