theorem Th4: :: WAYBEL26:4

Omega Sierpinski_Space is TopAugmentation of BoolePoset {0}