An n-tuple (x1,...,xn) is an ordered list of n sets. It can be constructed in several ways. A popular definition is the original set x1 for n=1 and the ordered pair ((x1,...,xn-1),xn) otherwise.
Klick on the ordered pair ( 564, 517 ) or the natural number 1 to see how it may be defined as a set.
(564, 517, 1) = ( ( 564, 517 ), 1 )