Seifert-Van Kampen theorem

X = U ∪ V path-connected open, U∩V path-connected: π_1(X) = π_1(U) *_{π_1(U∩V)} π_1(V). Computes fundamental groups via gluing.