for L being Lattice
for A being Filter of L st L = BooleLatt {{}} & A is being_ultrafilter holds
A = {(Top L)}