Go backward to Example
Go up to Top
Go forward to Cartesian Product
Proposition: Two n-tuples are equal iff their components are equal.
For every n and all x0, x1, ..., xn-1 and all y0, y1, ..., yn-1:
<x0, x1, ..., xn-1> = <y0, y1, ..., yn-1> <=> (x0 = y0 /\ x1 = y1 /\ ...xn-1 = yn-1).