It will usually be assumed that......
The calculation of M(f) is usually no harder than the calculation of N(f).
In practice, D is usually too large a set to work with.
This topology is compact, but not usually Hausdorff, nor even T1.