Обговорення:Теорема Кантора — Бернштейна — Шредера

Примечание к статье "Теорема Кантора-Берштейна"

Видимо, автор статьи хотел сказать следующее:

$~t\vdash \quad \mathrm {Inj(f} :A\mapsto B)\quad \land \quad \mathrm {Inj(g} :B\mapsto A)\quad \land$

${\begin{aligned}C_{0}=A\setminus g(B)\quad \land \quad \forall _{n\ \in \ \mathbb {N} \setminus \{0\}}\ (C_{n}=g(f(C_{n-1}))\ )\quad \land \quad C=\{x|\ \exists n\ (n\in \mathbb {N} \ \land \ x\in C_{n})\}\\\ \land \quad \forall _{x\ \in \ A}\ (\ (x\in C\to h(x)=f(x))\ \land \ (x\notin C\to h(x)=g^{-1}(x))\ )\quad \to \quad \mathrm {Bij(h} :A\mapsto B)\end{aligned}}$

Галактион 21:14, 10 серпня 2009 (UTC)