 Eilenberg–Zilber theorem

The Eilenberg–Zilber theorem is a result in algebraic topology and homological algebra that provides a way to compute the singular homology of a product of two topological spaces. Specifically, the theorem addresses the relationship between the singular chains on the product of two spaces and the singular chains on the spaces themselves.