 In this case, the non-uniqueness of the isomorphism (e.g., match 1 to formula_3 or 1 to "formula_4") is reflected in the symmetric group.On the other hand, there is an essentially unique "ordered" set of any given finite cardinality