Talk:Cantor-Bernstein-Schröder 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)