>>587
Pの定義により
b∈Dに対して、b∈Xとなる X∈Pは唯一つしかないので
b∈X∧b∈Yより X = Y