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