Equivalence Relations and functions on partitions of Sets let $f$ be a function on $A$ onto $B$.  Define an equivalence relation $E$ in $A$ by: $aEb$ if and only if $f(a)=f(b)$.
Define a function $\phi$ on $A/E$ by $\phi([a]_{E})=f(a)$.
Hint: Verify that $\phi([a]_{E})=\phi([a']_{E}) $ if $[a]_{E} = [a']_{E}$
I know that A/E is a partition of A.
I know that a binary relation $F$ is called a function if $aFb$ and $aFc$ implies $b=c$ for any $a, b, \text {  and  } c$

To show that $\phi$ is a function, you must follow the hint. If $[a]_E=[a']_E$, then what can we say about $f(a)$ and $f(a')$? What then can be said about $\phi\left([a]_E\right)$ and $\phi\left([a']_E\right)$? You'll need to keep the definitions of $E,\phi$ in mind.
