theorem Th15: :: WAYBEL18:15

for I being non empty set
for T being Scott TopAugmentation of product (I --> (BoolePoset {0})) holds the topology of T = the topology of (product (I --> Sierpinski_Space))