do i just need to provide an example of a function that goes from $\displaystyle A\rightarrow A\times B$?
(like $\displaystyle (a, (a, b))$ or $\displaystyle (a, (a, d))$...)
im not sure what exactly do i need to prove here...
do i just need to provide an example of a function that goes from $\displaystyle A\rightarrow A\times B$?
(like $\displaystyle (a, (a, b))$ or $\displaystyle (a, (a, d))$...)
im not sure what exactly do i need to prove here...
'Fix' a $\displaystyle b\in B$. Then define $\displaystyle f:A\to (A\times B)$ by $\displaystyle a\mapsto (a,b)$.