定義
A を一般Boole環(>>5)とする。
F を２元体 {0, 1} とする。
準同型 f：A → F で f = 0 でないものを A の指標という。