二変項述語・2変数命題関数の普遍量化の集合表現

二変項述語・2変数命題関数の普遍量化の集合表現 のメンテ了。