Ответ:

La parte destra dell’immagine taglia la definizione di C₁, quindi non è possibile calcolare i due membri per questo caso specifico. In generale, l’identità vale se gli insiemi A, B e C sono a due a due disgiunti: eliminare dall’unione A ∪ B ∪ C gli elementi di A₁ ∪ B₁ ∪ C₁ equivale a eliminare da ciascun insieme la propria parte indicata. Per completare la verifica con gli elementi, serve la definizione completa di C₁.