Assertion: algebra's set | /r/HasProperty | closed
Facets:
value: deductively
type: MANNER
Source sentences:
text: A set that is its own deductive closure is said to be deductively closed.