二項述語の二重全称量化∀x∈S ∀y∈T P(x,y)

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