[see also: also, well
In practice, D is usually too large a set to work with.
Consequently, A has two elements too many. [Or: A has two too many elements.]
We denote this, too, by Q.
Note that this too is best possible.
The inner sum is zero (and so too is S(a,b)).