定義介紹同態對偶(dual of a homomorphism)一個特殊的映射.設f是布爾代數A到布爾代數B的一個同態映射，f的對偶是映射屍:Ult B}UIt A，它的定義如下:屍(y>=.f一 'Cy]}yEU1tB，其中Ult A表示A的所有超濾子構成的集合.
