Let and
be pointed simplicial sets. The wedge of
and
, denoted by
, is the simplicial set obtained by identifying the basepoint of
with the basepoint of
. Hence, we can define
by the push-out diagram

can be described as the simplicial subset of
consisting of
for
and
for
.
The smash product is defined to be the simplicial quotient
.