Cặp được sắp

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

  1. ^ 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.
  2. ^ Kuratowski, Casimir (1921). “Sur la notion de l'ordre dans la Théorie des Ensembles” (PDF). Fundamenta Mathematicae. 2 (1): 161–171.
Lấy từ “https://vi.wikipedia.org/w/index.php?title=Cặp_được_sắp&oldid=47509222”