for L being 0_Lattice
for F being Filter of L holds
( not F is being_ultrafilter or not Bottom L in F )