The axiom of extensionality. It states that two sets with the same elements are equal. Thus, a set contains an element neither multiple times nor in a specific order, or so to say, it would be indistinguishable from one presented in different order.