Para que la especificación de una operación sea sintácticamente correcta ha de cumplir tres condiciones: