Dowód kajka: Jak udowodnić: ∅ ∪ A = A

Patronus: ⊆ weźmy x ∊ ∅∪A, wtedy albo x∊∅ oraz ∅⊂A zatem x∊A albo x∊A ⊇ weźmy x∊A Wtedy dla dowolnego B x∊A∪B, w szczególności B=∅ □

kajka: można to w jakiś bardziej symboliczny sposób obrać?