Assertion: algebra's set | /r/HasProperty | closed under complement
Facets:
value: relative to x
type: OTHER
Source sentences:
text: Then the set of all 22n possible unions of regions (including the empty set obtained as the union of the empty set of regions and X obtained as the union of all 2n regions) is closed under union, intersection, and complement relative to X and therefore forms a concrete Boolean algebra.