Her i∈I için Ai ve Bi herhangi kümeler olmak üzere
‘‘(∏i∈IAi)∩(∏i∈IBi)=∏i∈I(Ai∩Bi)” önermesi doğru mudur? Cevabınızı kanıtlayınız.
x=(xi)i∈I olsun.
x∈(∏i∈IAi)∩(∏i∈IBi)
⇔
x∈(∏i∈IAi)∧x∈(∏i∈IBi)
(∀i∈I)(xi∈Ai)∧(∀i∈I)(xi∈Bi)
(∀i∈I)(xi∈Ai∧xi∈Bi)
(∀i∈I)(xi∈Ai∩Bi)
x∈(∏i∈IAi∩Bi).