What is the official name for this concept?

Question

I've been playing with abstract functions and infinite sets and have come up with the concept of a "requisite function". Since the concept is relatively simple, if the concept is not flawed, then someone must have come up with this concept before and named it. The question is, what is the official name for this concept?

$A$ and $B$ are infinite sets. $f: A \to| B$ is a partial function such that some elements of $A$ are mapped to some elements of $B$.
Set $A'$ is the restricted subset of $A$ such that every element of $A'$ is mapped to some element of $B$.
A requisite function $f_r: A \to A'$ maps every element of $A$ to every element of $A'$. If an element of $A$ is already in $A'$, $f_r$ does not necessarily map the given element to itself.

Example 1:
Sets $A$ and $B$ are identical sets of all natural numbers. $f(x)=\frac x2=y$ such that $x \in A$ and $y \in B$. Therefore, $x$ must be divisible by $2$. Therefore, $A'$ is the set of all natural numbers that are divisible by $2$. Therefore, $f_r(x)=2x$.
This concept also extends to function powers: if $f^2(x)=\frac x {2^2}$ such that $x \in A$ and $y \in B$, then $x$ must be divisible by $2^2$. Therefore, the requisite function of $f^2(x)$ is $f^2_r(x)=2^2x$.
In general, if $f^n(x)=\frac x {2^n}$ then $f_r$ of $f^n(x)$ is $f^n_r(x)=2^nx$.

Example 2:
Sets $A$ and $B$ are identical sets of all natural numbers. $f(x)=x+1$ such that $x \in A$ and $y \in B$. Every element of $A$ is already mapped to some element of $B$, therefore $A=A'$, therefore $f_r(x)$ is just an identity function.