Note that the set D may be empty.
集合 D は空かもしれないことに注意しよう。