束論より普遍代数とかの方がレトロな感じがするの。
ブール束ブール代数はそんな張り切って代数系としては教えなくなったけど計算機絡みの基礎教育では実態として形式的機械的に扱える論理学としてまだやるんでしょ？。