for Y being set
for f, g being b₁ -valued Function st f c= g holds
for x being set st x in dom f holds
f /. x = g /. x