Go backward to Example Go up to Top Go forward to Cartesian Product

Tuple Equality

Proposition: Two n-tuples are equal iff their components are equal.

For every n and all x₀, x₁, ..., x_n-1 and all y₀, y₁, ..., y_n-1:

<x0, x1, ..., xn-1> = <y0, y1, ..., yn-1> <=>

(x0 = y0 /\  x1 = y1 /\  ...xn-1 = yn-1).

Example:

• <1, 2> != <2, 1>;
• <1, 2> != <1, 2, 2>.