for L being Lattice
for F being Filter of L holds latt F = latt (L,F)