for L being non trivial Boolean LATTICE
for F being proper Filter of L ex G being Filter of L st
( F c= G & G is ultra )