for L being Lattice
for H being Filter of L st L is 1_Lattice holds
Top L in H