Omega Sierpinski_Space = Sigma (BoolePoset {0})