Talk:Cantor-Bernstein-Schroeder Theorem

There seem to be some inconsistencies in Proof 3 which make it hard to understand this nice argument.

1. $C_S$ (and $C_T$) are defined by $C_S(A)=S\setminus A$ (and not by $P(S)\setminus A$)

2. $z:P(S)\to P(T)$ should by defined by $z(A)=C_S(g(C_T(f(A)))$

and the arguments which follow should be changed accordingly:

$A\subseteq B (\subseteq S) \implies f(A)\subseteq f(B) \implies C_T(f(A))\subseteq C_T (f(B))$ ...

Many thanks for that. You are quite correct. --prime mover 21:58, 1 November 2010 (UTC)