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