Definition:Bourbaki Assembly/Link

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