Coppia (matematica): differenze tra le versioni

 

Una coppia ordinata si distingue da un insieme di due elementi per il fatto che <math>(a,b)</math> è diverso da <math>(b,a)</math>. Di conseguenza due coppie ordinate <math>(a_1,b_1)</math> e <math>(a_2,b_2)</math> sono uguali se e solo se <math>a_1</math> è uguale a <math>b_1</math> e <math>a_2</math> è uguale a <math>b_2</math>. Questa è la principale proprietà delle coppie ordinate, e pertanto qualunque definizione si dia di coppia ordinata, bisogna che a partire da essa sia possibile dimostrare il seguente teorema:

 

Attualmente come definizione standard di coppia si adotta quella proposta da Kuratowski: