二項述語・2変項命題関数の全称量化∀x∈S P(x,y)

二項述語・2変項命題関数の全称量化∀x∈S P(x,y)を更新。