for f being FinSequence
for i, j being Nat
for a, b being object holds dom (Replace (f,i,j,a,b)) = dom f