Go backward to ExampleGo up to TopGo forward to Cartesian Product |

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

For every nand allx_{0},x_{1}, ...,x_{n-1}and ally_{0},y_{1}, ...,y_{n-1}:

< x_{0},x_{1}, ...,x_{n-1}> = <y_{0},y_{1}, ...,y_{n-1}> <=>( x_{0}=y_{0}/\x_{1}=y_{1}/\ ...x_{n-1}=y_{n-1}).

*Example:*

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

Author: Wolfgang Schreiner

Last Modification: October 14, 1999