Assertion: set's element | /r/HasProperty | duplicate
Facets:
Source sentences:
text: The additional stipulation on constructors is, not surprisingly, that all constructors must create a set that contains no duplicate elements (as defined above).