theorem Th14: :: WAYBEL18:14

for X being non empty set ex f being Function of (BoolePoset X),(product (X --> (BoolePoset {0}))) st
( f is isomorphic & ( for Y being Subset of X holds f . Y = chi (Y,X) ) )