∀x,y∈S P(x,y,z)の定義・意味・読み

3項述語・3変項命題関数の二重普遍量化∀x,y∈S P(x,y,z)の定義・意味・読みを作成、アップロード。