„gdzie i są dwoma różnymi obiektami różnymi od i Zob. wprowadzenie do pracy Wienera w van Heijenoort 1967:224.. Jeżeli pominiemy warunek na a i b, to definicja dalej pozostaje prawidłowa (jednoznaczność reprezentacji zostanie zachowana), ale dla a=2, b=1 para redukuje się do zbioru jednoelementowego tj. (2,1) = { {2,1}, {1,2} } = { {1,2} } co może być kłopotliwe w niektórych zastosowaniach).
Zaletą tej definicji jest to, że każdy elementy pary występuje dokładnie jeden raz w wyjściowej formule.
Definicja Kuratowskiego W 1921 roku Kazimierz Kuratowski przedstawił do dzisiaj przyjmowaną definicjęHelena Rasiowa, Wstęp do matematyki współczesnej, Wydawnictwo Naukowe PWN, Warszawa 2012, s. 60.Zob. wprowadzenie do pracy Wienera w van Heijenoort 1967:224. van Heijenoort zauważa, że zbiór wynikowy, który reprezentuje parę uporządkowaną „ma typ wyższy o 2 od swoich elementów (jeśli są tego samego typu)” (has a type higher by 2 than the elements (when they are of the same type));