Go backward to Equality Reasoning Go up to Top Go forward to Example |
Definition: n-tuple < x0, x1, ..., xn-1>
<x0, x1, ..., xn-1>0 = x0; <x0, x1, ..., xn-1>1 = x1; ... <x0, x1, ..., xn-1>n-1 = xn-1.
Ordered sequence of elements (can be implemented as sets).