|
If
is a transitive model of set theory and is a partial order then we can define a forcing relation:
( forces
)
for any , where
are - names.
Specifically, the relation holds if for every generic filter over which contains ,
That is, forces if every extension of
by a generic filter over containing makes true.
If
holds for every then we can write
to mean that for any generic
,
.
|