Definition:Link (Bourbaki Theory)
From ProofWiki
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'${{Stub}}1{{Proofread}}
You can help Proof Wiki by expanding it.
To discuss it in more detail, feel free to use the talk page.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
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.
