theorem Th3: :: HALLMAR1:3

for F being set
for A being FinSequence of bool F
for J being set holds union (A,J) c= F