\begin{definition}[Definition:Binding Priority]
The '''binding priority''' is the convention defining the order of '''binding strength''' of the individual connectives in a logical formula.
'''Binding priorities''' can be overridden by using parenthesis in appropriate places. Parenthesis always takes priority over conventional '''binding priorities'''.
\end{definition}