for n being Nat
for V, A being set
for f being b₂,b₃ -NonatomicND-yielding FinSequence st n in dom f holds
f . n is NonatomicND of V,A