Assertion: deduction | /r/HasProperty | a subset of the rule
Facets:
value: in set theory
type: OTHER
Source sentences:
text: In set theory, a deduction is a subset of the rule that is taken as the start point.