p: Xは完備距離空間である
q: Xはベール空間である

この場合の「pをみたすものの集合」とは何か?

(略)