Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 4.3.4.2. Let $X$ and $Y$ be topological spaces. Then the join $X \star Y$ of Construction 4.3.4.1 is equipped with a pair of maps $\iota _{X}: X \hookrightarrow X \star Y$ and $\iota _{Y}: Y \hookrightarrow X \star Y$. It is not difficult to see that these maps are closed embeddings: that is, they induce homeomorphisms from $X$ and $Y$ onto closed subsets of $X \star Y$. We will generally abuse notation by identifying $X$ and $Y$ with their images under $\iota _{X}$ and $\iota _{Y}$, respectively.