Son características aspectuales de las operaciones.

Operaciones autoformantes: incluyen la reproducción o re-generación de al menos uno de los términos operados. [218]

Operaciones heteroformantes: no poseen tal característica.

Distinguimos tres modos en los cursos operatorios autoformantes:

(i) El modo de autoformación modular (por ejemplo: a× 1=a; a+0=a). La idempotencia es un aspecto autoformante de tipo modular.

(ii) El modo de autoformación absorbente (a× 0=0).

(iii) El modo de autoformación involutiva [-(-p)=p]. Cabría reducir la idempotencia a un caso de involución autoformante: X× X= X× X+Æ = X× X+X× X'= X(X+X')= X× 1= X.

La distinción entre operaciones autoformantes y heteroformantes ha sido propuesta como criterio para establecer una línea de demarcación entre la Lógica y la Matemática.

{TCC 1388-1389 / → BP07 16-39 / → BP08 4-25}