>>772
コンマを「かつ」の意味で使ってるなら当たり前だけど

⇔U∋uかつU'∋u、V∋vかつV'∋v…（１）
⇔U∋uかつU'∋uかつV∋vかつV'∋v
⇔U∋uかつV∋vかつU'∋uかつV'∋v
⇔U∋u,V∋vかつU'∋u,V'∋v…（２）

だよね。