定義
f：A → B をBoole代数(過去スレ021の336)の準同型(>>30)とする。
A＾、B＾をそれぞれ A、B の双対空間(>>912)とする。
>>306より χ ∈ B＾に χf ∈ A＾を対応させることにより連続写像 f＾：B＾ → A＾が得られる。
このとき f＾を f の双対写像(dual map)または単に双対(dual)と言う。