# Definition talk:Ordered Tuple

Wikipedia also lists two alternate definitions which define $n$-tuples in respect to functions and nested ordered pairs in addition to the set-theoretical definition found here. Should these definitions be integrated into ProofWiki's documentation on $n$-tuples?