for x being set
for A being FinSequence st x nin rng A holds
A <- x = 0