Ordered n-tuples

Notation

An ordered pair is an expression of the form $(x,y)$ This is extended to $n$-tuples

Equality

Two ordered pairs are equal $(a,b)=(c,d)$ iff $a=c$ and $b=d$ This is extended to $n$-tuples