# Definition:Link (Bourbaki Theory)

Jump to navigation
Jump to search

## Definition

An assembly in Bourbaki's exposition of a mathematical theory is specified as being:

- A succession of signs written one after another;
- Certain signs which are not letters can be joined in pairs by
**links**, as follows:

- $\overbrace {\tau A \Box}^{} A'$
^{[1]}

## Notes

- ↑ 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