for I being non empty set
for T being Scott TopAugmentation of product (I --> (BoolePoset {0})) holds T is injective