Definition. Generic Ideal of a Forcing Notion [002H]

An ideal of a forcing notion for is generic relative to if it intersects every dense subset that lies in .