Buenas, en la letra del ejercicio 1 como del 3 se aclara que hay un símbolo de relación binario de igualdad =' que representa la igualdad entre numeros.
¿Este símbolo no esta siempre por definición de FORM?
Tanto en el ejercicio 1 como en el 3 el UoD son solo numeros por lo que la igualdad numerica dada por la letra entiendo es exactamente la misma que la igualdad entre elementos dada por FORM, ¿Hay alguna diferencia que no me estoy dando cuenta o alguna necesidad de aclarar la existencia de esa igualdad en la letra?