Definition:Link (Bourbaki Theory)

From ProofWiki
Jump to: navigation, 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

  1. 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.