Corollary 3.7. Assuming that:

$| Y | > | X |$

Then there is no

D \cup R

-generic.