theorem :: WAYBEL18:12

for T being Scott TopAugmentation of BoolePoset {0} holds the topology of T = the topology of Sierpinski_Space