Assertion: algebra's set | /r/HasProperty | set s
Facets:
Source sentences:
text: The smallest element 0 is the empty set and the largest element 1 is the set S itself.