Seifert–Van Kampen Theorem

A fundamental theorem in algebraic topology that computes the fundamental group of a union of path-connected spaces from the fundamental groups of the pieces and their intersection via the pushout (amalgamated product) determined by the inclusion-induced homomorphisms.