An unordered tuple is an ordered tuple in which every field has the same type and it is quotiented by permutation.