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 .