for L being Lattice
for F1, F2 being Filter of L holds F1 /\ F2 is Filter of L