Подстраница "Користувач Галактион/Зліченна множина" создана для того, чтобы перенести информацию из раздела "Обговорення" статьи "Зліченна множина". Галактион 09:31, 5 березня 2010 (UTC)
Примечание к статье "Злiченна множина"
- Примечание
![{\displaystyle ~\vdash \quad \mathrm {Bij(f} :X\mapsto \mathbb {N} )\quad \leftrightarrow \quad \mathrm {f} :X\mapsto \mathbb {N} \quad \land \quad \forall n\ (n\in \mathbb {N} \ \to \ \exists ^{\{1\}}x\ (\langle x,n\rangle \in \mathrm {f} ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38de2303d5b7833409b602e3396c2b378cd341c5)
![{\displaystyle ~\vdash \quad \mathrm {f} :X\mapsto \mathbb {N} \quad \leftrightarrow \quad \mathrm {f} \subseteq X\ \times \ \mathbb {N} \quad \land \quad \mathrm {f} \neq \varnothing \quad \land \quad \forall x\ (x\in X\ \to \ \exists ^{\{1\}}n\ (\langle x,n\rangle \in \mathrm {f} ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/283f225e262bf08de467dbaf0729ff5af67486d0)
Theorems
- Примечание
![{\displaystyle ~\vdash \quad \cup Y=\{x|\ \ \exists X\ (X\in Y\ \land \ x\in X)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf085a2825feceae23a12552eec2a983e1c02ef4)
Галактион 07:59, 12 серпня 2009 (UTC)