The Bourbaki's approach to introducing notation
for ordered pair is preferable because one cannot prove
silly theorems like (x,y) U {x} = (x,y).
The Bourbaki's approach is related to abstract data types --
the most fundamental concept on which the modern programming
languages like Java, C++, Eiffel are based.
Victor Makarov, Brooklyn.