theorem Th19: :: MEASURE1:19

for X being set
for A, B being Subset of X ex F being sequence of (bool X) st
( rng F = {A,B} & F . 0 = A & ( for n being Nat st 0 < n holds
F . n = B ) )