>>37

> 条件pは集合Pの要素です

全く違います