theorem Th32: :: OPENLATT:32

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