Axm

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.