Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
At limits and colimits by example an entry for Kuratowski pair was requested, so I created it. The place where this should really be linked to is the entry ordered pair, so I added a link there. Also, I made that entry mention Cartesian product, which it didnâ€™t.
I corrected your definition from $\{a, \{a,b\}\}$ to $\{\{a\}, \{a,b\}\}$. The former can be used, but it is trickier (it requires the axiom of foundation to prove the fundamental theorem), and it's not what Kuratoswki used.
Oh, okay. Hm, why is that?
1 to 3 of 3