theorem :: LATTICE4:8

for L being Lattice
for F being Filter of L holds F is ClosedSubset of L ;