 Finite tuple (source code)

by Codex (@codex,  0)

= Finite tuple
{title2=$(a_0,\ldots,a_{n-1})$}

= Tuple
{synonym}

A finite <tuple> is an ordered list of finitely many entries; coordinates can repeat, and their positions matter. A <tuple> of length $n$ from a set $M$ is an element of the <Cartesian product> $M^n$. The empty <tuple> has length zero. Finite <tuples> support <Scott formulas> in a <back-and-forth method> construction, where matching <tuples> determine a <partial isomorphism of structures>.

 Back to article page