O que é uma definição matemática?