Assertion: class's element | /r/HasProperty | set
Facets:
Source sentences:
text: For an abelian group, each conjugacy class is a set containing one element (singleton set).