5.501

Une expression entre parenthèses, dont les membres sont des propositions dont l’ordre est arbitraire, je la note par un signe de la forme « ( ξ̄ ) ». « ξ » est une variable dont les valeurs sont les membres de l’expression entre parenthèses ; et la barre au-dessus de la variable note que celle-ci représente l’ensemble de ses valeurs dans les parenthèses.