>>725
回答ありがとうございます。
(UxV)∩(U'×V') = (U∩U')×(V∩V')
は常に成り立つのですか？
＝ではなくて⊂になるような気がするのですが。