Let $p:A\times B\to. A$
$p(x,y)=x$
The projection function $p$ is clearly subjective. I want to know if it is bijective? The projective function suspiciously looks like $1_A(x)=x$
Let $p:A\times B\to. A$
$p(x,y)=x$
The projection function $p$ is clearly subjective. I want to know if it is bijective? The projective function suspiciously looks like $1_A(x)=x$
If $|A|>1$ then we have two $a\ne a'$.
Since $p(a,x) = p(a',x)=x$ we see it is not injective and so it is...?