Long exact sequence … → H_n(A∩B) → H_n(A)⊕H_n(B) → H_n(X) → H_{n−1}(A∩B) → … for X = A∪B. Computational workhorse.