Go backward to
Tuples
Go up to
Top
Go forward to
Tuple Equality
Example
T
:=< 1, 2>.
T
0
= 1;
T
1
= 2.
U
:=< 2,
T
, {1}>.
U
0
= 2;
U
1
=
T
;
U
2
= {1}.
Author:
Wolfgang Schreiner
Last Modification: October 14, 1999