# Definition:Bourbaki Assembly/Link

< Definition:Bourbaki Assembly(Redirected from Definition:Bourbaki Link)

Jump to navigation
Jump to search
## Definition

In an **assembly**, certain signs which are not variables can be joined in (ordered) pairs by **links**, as follows:

- $\overbrace {\tau A \Box}^{} A'$

where the $\overbrace {}{}$ depicts a **link** between $\tau$ and $\Box$.

### Notation

The specific symbology used by Bourbaki in *Theory of Sets* has not been rendered accurately here, as the author of this page has not been able to establish a method by which to do it.

However, the intent has been expressed as accurately as possible.

## Sources

- 1968: Nicolas Bourbaki:
*Theory of Sets*... (previous) ... (next): Chapter $\text I$: Description of Formal Mathematics: $1$. Terms and Relations: $1$. Signs and Assemblies