⋂ P " > { ∈ | ∈ } { | ∈ ∧ } { ∈ | ∈ ∧ }