Lemma 3.6. Assuming that:

$F$ is $D \cup R$ -generic

Then

⋃ F : X \to Y

is a surjection.