Assertion: rule complex | /r/HasProperty | the class
Facets:
value: formally
type: MANNER
Source sentences:
text: Formally, a rule complex is the class which contains all finite sets of rules, is closed under set-theoretical union and power set, and preserves inclusion: