In set theory, a function $latex {f: X \rightarrow Y}&fg=000000$ is defined as an object that evaluates every input $latex {x}&fg=000000$ to exactly one output $latex {f(x)}&fg=000000$.…