[FOM] Schroeder-Bernstein dual.

[Bill Taylor]

Consider this "dual" to Shroeder-Bernstein:

**  If there are surjections   f: X --> Y
**                       and   g: Y --> X
**  
**  then there is a bijection between X and Y.

It follows easily from AC, but seems to be strictly weaker.

Is there an easy model of ZF where this dual is false?

Does it have any interesting equivalents?

wfct