T: A × (B u C) = (A x B) u (A x C)
Dim:
- Dobbiamo dimostrare che A × (B u C) e (A x B) u (A x C) siano uguali. Il modo più diretto per farlo è dimostrare che U ⊆ V e V ⊆ U.
- Consideriamo una coppia generica (a,p) risultante da A × (B u C), con a ∈ A e p ∈ B u C.
- Osserviamo che a ∈ A e p ∈ B oppure a ∈ A e p ∈ C.
- Ciò è analogo a (A x B) u (A x C)
- A × (B u C) = (A x B) u (A x C)