ブール代数 "a" が単項でない超フィルター(すなわち、その代数の単独の元で生成されることのない極大フィルター)をただ一つ持つための必要十分条件は、有限補有限代数が "a" と同型になるような無限集合 "x" が存在することである。