Category:Ordered Tuples

From ProofWiki
Jump to navigation Jump to search

This category contains results about Ordered Tuples.
Definitions specific to this category can be found in Definitions/Ordered Tuples.

Let $n \in \N$ be a natural number.

Let $\N^*_n$ be the first $n$ non-zero natural numbers:

$\N^*_n := \set {1, 2, \ldots, n}$

An ordered tuple (of length $n$) is a finite sequence whose domain is $\N^*_n$.


This category has only the following subcategory.