theorem Th3: :: WAYBEL25:3

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