Logika...
Llorente: Udowodnij że dla dowolnych zbiorów A, B zachodzi:
A x B ⊂ (A u B) x (A u B).
Jack:
Trzeba pokazać, że A⊂AuB oraz B ⊂AuB... Stąd takie tłumy − to jest zadania z cyklu oczywistych
oczywistości

1) A⊂AuB
zakładamy, że x∊A, jest jasne, że x∊AuB (z definicji sumy)
2) podobnie dla B ⊂AuB