Eventually different forcing
= Eventually different forcing
An eventually different condition is a finite sequence together with finitely many ground-model functions that all newly appended coordinates must avoid. The generic union eventually differs from every ground-model function.