== Ordered pairs and Cartesian products ==Intuitively, an ordered pair is simply a collection of two objects such that one can be distinguished as the "first element" and the other as the "second element", and having the fundamental property that, two ordered pairs are equal if and only if their "first elements" are equal and their "second elements" are equal.
== Coppie ordinate e prodotto cartesiano ==Intuitivamente, una coppia ordinata è semplicemente una collezione di due oggetti tali che uno può essere individuato come "primo elemento" e l'altro come "secondo elemento", e avente la proprietà fondamentale che due coppie sono uguali se e solo se i loro "primi elementi" sono uguali e i loro "secondi elementi" sono uguali.