Lattices of Algebraic Subsets and Implicational Classes