Assertion: algebra's set | /r/HasProperty | taken in this formulation
Facets:
value: to be the sets
type: PURPOSE
Source sentences:
text: In this formulation, the Zariski-closed sets are taken to be the sets