Definição
Do latim *definire* — "delimitar", "fixar fronteiras".
Definição
Estipulação do significado de um termo dentro do sistema formal. Não tem valor-verdade — é convenção.
Intuição
Um batismo. Não dizemos que está "certa" ou "errada"; ela é útil ou não é.
Registro computacional
Como declarar um type alias ou dar nome a uma estrutura já existente.
Nota
Definições matemáticas são quase sempre bicondicionais: o termo definido e sua caracterização valem ou caem juntos.