A region is s a set of non-overlapping memory ranges. A region expression is built up out of region literals and set operations (union, intersection, and difference) on regions.