Smash product (source code)

= Smash product
{title2=$X\wedge Y$}
{wiki}

For based spaces, the smash product is
$$
X\wedge Y=(X\times Y)/(X\vee Y),
$$
where the wedge $X\vee Y$ consists of pairs having at least one basepoint coordinate.