Construction 4.3.6.3. Let $f: A \hookrightarrow A'$ and $g: B \hookrightarrow B'$ be monomorphisms of simplicial sets. Using Remark 4.3.3.16, we see that the induced maps
\[ A \star B' \xrightarrow { f \star \operatorname{id}_{B'} } A' \star B' \xleftarrow { \operatorname{id}_{A'} \star g } A' \star B \]
are also monomorphisms. Moreover, the intersection of their images is the image of the monomorphism $(f \star g): A \star B \hookrightarrow A' \star B'$. We therefore obtain a monomorphism of simplicial sets
\[ (A \star B') \coprod _{ (A \star B) } (A' \star B) \hookrightarrow A' \star B', \]
which we will refer to as the pushout-join of $f$ and $g$.