theorem :: PROB_3:48

for X being set
for F1 being FinSequence of bool X holds union (rng F1) is Subset of X ;