theorem Th69: :: FILTER_2:69

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