# Extensions

## `DirectProduct(R, S): SgpFP, SgpFP -> SgpFP`

Given two fp-semigroups $R$ and $S$, construct the direct product of $R$ and $S$.

## `FreeProduct(R, S): SgpFP, SgpFP -> SgpFP`

Given two fp-semigroups $R$ and $S$, construct the free product of $R$ and $S$.