Theorem 3.33.
Assuming that:
ℙ
is
λ
-closed
and
κ
<
λ
Then
P
(
κ
)
∩
M
=
P
(
κ
)
∩
M
[
G
]
.