๐งต Untitled Thread
Anonymous at Sun, 13 Oct 2024 22:27:01 UTC No. 16429629
Is there a comprehensive list of set-theoretic definitions of ordered pairs?
Anonymous at Sun, 13 Oct 2024 22:43:30 UTC No. 16429664
>>16429629
pdf
Anonymous at Sun, 13 Oct 2024 23:31:00 UTC No. 16429776
>>16429664
i like pdfs too, anon :)
Anonymous at Sun, 13 Oct 2024 23:36:20 UTC No. 16429791
>>16429629
It's better to view them as hyperedges of hypergaphs.
Anonymous at Mon, 14 Oct 2024 19:44:22 UTC No. 16431623
>>16429791
elaborate
Anonymous at Mon, 14 Oct 2024 20:06:07 UTC No. 16431669
>>16429629
You don't need any particular examples if you have the blueprint. Read pages 37 and 38.
https://www.maths.ed.ac.uk/~tl/ast/
Anonymous at Mon, 14 Oct 2024 20:22:44 UTC No. 16431709
>>16429629
Honestly, i don't think there's such a list. At most, people recognize two styles of ordered pair definition: the Wiener-style and the Kuratowski-Style. https://blog.plover.com/math/wiener
Alternatives to these styles may be found only hidden as exercises in set theory/order theory textbooks
Anonymous at Mon, 14 Oct 2024 20:23:18 UTC No. 16431711
>>16431623
no, it's better if you discover it yourself
Anonymous at Tue, 15 Oct 2024 00:41:38 UTC No. 16432126
>>16429629
[math](a,b) \equiv {a,{b}}[/math]
Anonymous at Tue, 15 Oct 2024 00:42:52 UTC No. 16432129
>>16432126
i meant
[math](a,b) \equiv \{ a, \{b\} \}[/math]
Anonymous at Tue, 15 Oct 2024 02:53:41 UTC No. 16432260
>>16432129
this sends ({1}, 3) and ({3}, 1) to the same set
Anonymous at Tue, 15 Oct 2024 03:30:09 UTC No. 16432300
>>16432260
ha, [math](a,b)\equiv\{\{a\}, \{a, b\}\}[/math]
Anonymous at Tue, 15 Oct 2024 03:35:39 UTC No. 16432308
>>16432300
That how I learned it.
>>16429629
Ask chatgpt.