 Actually, the idea of domain restriction has one further ingredient. To restrict the domain of quantification to a subset A of M means not only that \(B-A\) is irrelevant but the whole part of M that lies outside A, and hence also the part \(M-(A\cup B)\) in Figure 1. This in turn is an instance of a more general property, applicable to arbitrary generalized quantifiers: