theorem Th17: :: WAYBEL27:17

for X being set ex f being Function of (BoolePoset X),((BoolePoset {0}) |^ X) st
( f is isomorphic & ( for Y being Subset of X holds f . Y = chi (Y,X) ) )