Here's a possible phrasing: Elements in a Set are unique, as determined by the elements' definition of `isequal` and `hash`.