∃x∈X P(x,y)

2項述語の存在量化（変更が動く範囲を明示）をアップロード。