This definition is a slight extension of
$restriction that simultaneously extends the codomain to a superset
It might seem tempting to remove the need for this definition by implicitly treating a function to
Y as a function to a superset
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.