5.24 L'opération se manifeste dans une variable ; elle montre comment, d'une forme de propositions, on parvient à la forme d'autres propositions.

Elle donne une expression à la différence des formes.

(Et ce qui est commun aux bases et au résultat de l'opération, ce sont justement les bases.)