Cohen forcing consists of finite partial approximations to a new subset or function, ordered by reverse inclusion. Meeting the ground-model dense sets makes the union a total generic object.
New to topics? Read the docs here!
New to topics? Read the docs here!