Image not available

3031x4231

__hachiroku_migit....jpg

๐Ÿงต Untitled Thread

Anonymous No. 16429629

Is there a comprehensive list of set-theoretic definitions of ordered pairs?

Anonymous No. 16429664

>>16429629
pdf

Image not available

1x1

s13752-019-00330-w.pdf

Anonymous No. 16429776

>>16429664
i like pdfs too, anon :)

Anonymous No. 16429791

>>16429629
It's better to view them as hyperedges of hypergaphs.

Anonymous No. 16431623

>>16429791
elaborate

Anonymous 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/ast.pdf

Anonymous 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-pairs.html
Alternatives to these styles may be found only hidden as exercises in set theory/order theory textbooks

Anonymous No. 16431711

>>16431623
no, it's better if you discover it yourself

Anonymous No. 16432126

>>16429629
[math](a,b) \equiv {a,{b}}[/math]

Anonymous No. 16432129

>>16432126
i meant
[math](a,b) \equiv \{ a, \{b\} \}[/math]

Anonymous No. 16432260

>>16432129
this sends ({1}, 3) and ({3}, 1) to the same set

Anonymous No. 16432300

>>16432260
ha, [math](a,b)\equiv\{\{a\}, \{a, b\}\}[/math]

Anonymous No. 16432308

>>16432300
That how I learned it.
>>16429629
Ask chatgpt.