TITLE: Cardinality of two infinite sets and strictly bigger than relation
QUESTION [1 upvotes]: Suppose $A$ and $B$ are two infinite sets and cardinality of $B$ is strictly greater than cardinality of $A$.
To prove this strictly gretater than relation between two sets, is it sufficient to only show that there exists no surjective function from $A$ to $B$, or in addition to this, one must also show that there exists a surjection from $B$ to $A$, for proof to be valid.

REPLY [3 votes]: First note that the cardinal comparability is done by injections and not by surjections. Assuming the axiom of choice it is the same thing, but without the axiom of choice this is no longer true.
If we assume the axiom of choice then every two cardinals are comparable; and every surjection admits an inverse injection. This means that if we assume the axiom of choice then if there is no surjection from $A$ onto $B$ then there is an injection from $A$ into $B$, and there is no injection from $B$ into $A$ either.
If the framework you are working in does not assume the axiom of choice then you have to show that there is an injection from $A$ into $B$ and there is no injection from $B$ into $A$. It is not sufficient to do so with surjections, nor it is sufficient to show that there is a surjection from $B$ onto $A$ and there is no injection from $A$ into $B$.
{"set_name": "stack_exchange", "score": 1, "question_id": 202956}