- E81
[024]Using the definition of pair \((a,b)\) as \(\{ \{ a\} ,\{ a,b\} \} \) show that, given two sets \(x,y\) , for each \(a∈ x,b∈ y\) you have
\[ (a,b) ∈ {\mathcal P} {\mathcal P} (x∪ y)~ ~ . \]Use this fact and the axiom of separation to justify axiomatically the definition of the Cartesian product \(x× y \).
Solution 1
EDB — 024
View
English
Authors:
"Mennucci , Andrea C. G."
.
Bibliography
Book index
Book index
- Cartesian product
- product, Cartesian — , see Cartesian product
- formal set theory
Managing blob in: Multiple languages