previous up next
Go backward to Example
Go up to Top
Go forward to Cartesian Product
RISC-Linz logo

Tuple Equality

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).


Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next