\begin{definition}[Definition:Parenthesis]
'''Parenthesis''' is a syntactical technique to disambiguate the meaning of a logical formula.
It allows one to specify that a logical formula should (temporarily) be regarded as being a single entity, being on the same level as a statement variable.
Such a formula is referred to as being '''in parenthesis'''.
Typically, a formal language, in defining its formal grammar, ensures by means of '''parenthesis''' that all of its well-formed words are uniquely readable.
Generally, '''brackets''' are used to indicate that certain formulas are '''in parenthesis'''.
The brackets that are mostly used are round ones, the '''left (round) bracket''' $($ and the '''right (round) bracket''' $)$.
\end{definition}