A set S is cardinally majorizable by a set T iff there exists a(n) ______________ from T to S.
It is not injection. Bijection from T to S? Maybe so that there will be injection from S to T.
A map is called a surjection if for each there exists such that
A set is cardinally majorizable by a set iff there exists a surjection from to .
As bonus for the customer note that if is a surjection, then we can construct an injection in the following way: for each choose exactly one element , and define . Since for , is an injection.
Comments