Independentemente da padronização de sintaxe utilizada, a definição acima garante que o salário de um novo empregado não seja maior que o salário do professor.