for H being non trivial H_Lattice holds StoneS H c= the carrier of (Open_setLatt (HTopSpace H))