for F being set
for A being FinSequence of bool F holds A is Reduction of A