Filters on a lattice are a lattice

I’ve proved that filters on a lattice are a lattice.

See my book.