Assertion: algebra's set | /r/Synonym | deductive closure
Facets:
Source sentences:
text: The set of all consequences of \(A\) is called the deductive closure of \(A\).
text: A set that is its own deductive closure is said to be deductively closed.