> For the complete documentation index, see [llms.txt](https://adams-personal-organization.gitbook.io/compendium-of-predicates/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://adams-personal-organization.gitbook.io/compendium-of-predicates/definitions/product.md).

# Product

<details>

<summary><span class="math">\textbf{Product} \; A \; B \in \textbf{Set} := \{ x,y : x \in A \wedge y \in B : \textbf{pair} \; x \; y \}</span></summary>

***

$$A \in \textbf{Set}$$

$$B \in \textbf{Set}$$

</details>