A tuple is not merely a totally-ordered set because the same element can appear more than once in a tuple: for example, qualifies as a 3-tuple whereas it would not qualify as a totally-ordered set (of cardinality 3), because the set would be where and so that ; i.e., it would actually be a one-element set, not even just two-element.
If commutativity were added to a tuple, it would turn into a multiset or "bag". For example, words (of some alphabetic language) can be considered to be tuples of letters. If the ordering requirement on those letters were lifted, then the word would become a multiset of letters equivalent to those of its anagrams.
Both Python and Haskell have a tuple data type as well as a list data type.
Unlike lists, tuples are not formed by consing.