This definition is a slight extension of $restriction that simultaneously extends the codomain to a superset B of Y.

It might seem tempting to remove the need for this definition by implicitly treating a function to Y as a function to a superset B of Y, without explicitly specifying B. However, this could lead to confusion as the resulting function may not be surjective even though the original function is.