命題
BoolをBoole代数(過去スレ021の336)の圏とする。
f：A → B をBoolにおける射(>>30)とする。
A と B の指標空間(>>304)をそれぞれ A＾、B＾とする。
χ ∈ B＾に χf ∈ A＾を対応させることにより写像 f＾：B＾ → A＾が得られる。
このとき f＾は連続である。

証明
直接証明するのも簡単だが次のようにも証明出来る。
>>301より A＾ は Spec(A) と位相同型である。
よって、本命題は>>240と>>305より明らかである。
証明終