for P being FinSequence-membered set
for A being Function of P,NAT holds Polish-expression-set (P,A) is A -closed