Let ? be a consistent belief space, and let p be a consistent distribution.
Let ω ∈ Y be a state of the world satisfying p(Y˜(ω)) > 0. Prove that the probability distribution p conditioned on the set Y˜(ω) is consistent.
Deduce that Y˜(ω) is a consistent belief subspace.