Assertion: rule complex | /r/MadeOf | finite sets of rules
Facets:
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: