Free product

Free product refers to the following two notions:


 * External free product
 * Internal free product

These notions are equivalent.