Definition:Bourbaki Assembly/Link

From ProofWiki
Jump to navigation Jump to search


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


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.