Cặp được sắp
Bài viết này cần thêm liên kết tới các bài viết khác để giúp nó bách khoa hơn. (tháng 7 năm 2018) |
Bài viết này là một bài mồ côi vì không có bài viết khác liên kết đến nó. Vui lòng tạo liên kết đến bài này từ các bài viết liên quan; có thể thử dùng công cụ tìm liên kết. (tháng 7 năm 2018) |
Năm 1921, Kazimierz Kuratowski đưa ra định nghĩa sau về cặp được sắp (a, b):[1][2]
Chú thíchSửa đổi
- ^ cf introduction to Wiener's paper in van Heijenoort 1967:224. van Heijenoort observes that the resulting set that represents the ordered pair "has a type higher by 2 than the elements (when they are of the same type)"; he offers references that show how, under certain circumstances, the type can be reduced to 1 or 0.
- ^ Kuratowski, Casimir (1921). “Sur la notion de l'ordre dans la Théorie des Ensembles” (PDF). Fundamenta Mathematicae. 2 (1): 161–171.