I termini sun manipulà a travers di regul (l’equivalenza, la riduziun e la cunversiun), che sun i assiomi de la teuria e pœden vèss interpretà cuma regul de calcul.