The Maximal Ideal Theorem for Lattices of Sets