vervang({l1,...,li,...,lm},i,x)={l1,...,li-1,x,li+1,...,lm}
vervang({l1,...,li1 ,...,lm},i1,...,in,x)={l1,...,li-1,vervang(li1 ,i2,...,in,x),li1+1,...,lm}
als r:Rijvariabele dan vervang(l,i1,...,r,...,in,x)=vervang(l,i1,...,[r],...,in,x)
als n=lengte(l) & 1<=i<=n
als i<1 | i>n geeft een fout.
als m=lengte(l), 1<=ik<=m met k=1,...,n