for H being non trivial H_Lattice holds StoneH H preserves_top