Utilizaremos la palabra "equivalente" para indicar la igualdad extensional, reservando "igual" para los términos combinatorios idénticos.