nLab
Strøm's theorem

Strøm’s theorem

Let $(X,A)$ and $(Y,B)$ be NDR-pairs. Their product in the category of topological pairs

$$(X\times Y,X\times B\cup A\times Y)$$(X\times Y,X\times B\cup A\times Y)

is also an NDR-pair.