theorem :: WAYBEL29:20

Omega Sierpinski_Space = Sigma (BoolePoset {0})