Go backward to Equality ReasoningGo up to TopGo forward to Example |

*Definition: n-tuple* <

*tuple constructor*< > (`n`-ary function)*tuple selectors*._{0}, ._{1}, ..., ._{n-1}(`n`1-ary functions)< `x`_{0},`x`_{1}, ...,`x`_{n-1}>_{0}=`x`_{0};< `x`_{0},`x`_{1}, ...,`x`_{n-1}>_{1}=`x`_{1};... < `x`_{0},`x`_{1}, ...,`x`_{n-1}>_{n-1}=`x`_{n-1}.

*Ordered sequence of elements (can be implemented as sets).*

Author: Wolfgang Schreiner

Last Modification: October 14, 1999