[Math] About the Cantor-Schroeder-Bernstein theorem.

elementary-set-theoryfunctions

If $A$ and $B$ are finite sets it is true that $|A|\leq |B|$ iff there is an injection from $A$ to $B$ and $|A|\geq |B|$ iff there is an surjection from $A$ to $B$. This motivates me to define these inequalities for arbitrary sets.

But doesn't this definition makes the Cantor-Schroeder-Bernstein theorem trivial?

What is wrong here? I should have to prove the Cantor-Schroeder-Bernstein theorem before defining these inequalities for arbitrary sets? Or they don't make sense at all?

Best Answer

If you define the relation $\le$ on arbitrary sets by $$ |A|\le |B| :\iff \text{ there is an injection }A \to B $$ then you need the Cantor-Schröder-Bernstein theorem to prove (that is something you have to prove) that $\le$ is an order relation. Just because you call something $\le$, it does not mean that $$ |A|\le |B|, \ |B|\le |A| \implies |A|= |B| $$ holds true. That is Cantor-Schröder-Bernstein.

Related Question