Definicje teoriomnogościowe
Charakterystyczna własność par uporządkowanych, wspomniana w poprzedniej sekcji, jest wszystkim co niezbędne do zrozumienia sposobu użycia par uporządkowanych w literaturze matematycznej. jednak w sprawie dobrego ufundowania matematyki uważano zbyt pożądane wysłowienie definicji każdego rodzaju obiektu matematycznego zbyt pomocą zbiorów, co w razie pary uporządkowanej uczyniono na nieco sposobów.