Definition talk:Ordered Tuple
It's usually a better idea to put various alternative notations in a separate section at the bottom. Keeping the content separate from the presentation is always a good approach. --prime mover 14:34, 29 January 2012 (EST)
- Better now? --GFauxPas 15:07, 29 January 2012 (EST)
- Perfect. --prime mover 17:19, 29 January 2012 (EST)
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?