>>26
> 条件 p を満たすものの全体の集合を P

とは何ですか?