定義
A をBoole代数とする。
ε = {0, 1} を２元体とする。
A から ε への写像の全体を ε^A とする。
ε に離散位相を入れ、ε^A にその直積位相を入れる。
A＾を A の指標(>>90)の全体とする。
A＾ は ε^A の部分空間としての位相を入れることにより位相空間となる。
このとき、位相空間 A＾ を A の指標空間と言う。