Ground-model uncountable subset lemma for countable forcing
= Ground-model uncountable subset lemma for countable forcing
An uncountable set of ground-model elements in a <generic extension> by countable forcing contains an uncountable ground-model subset. Partition membership witnesses according to the countably many forcing conditions.