In mathematics, a definition is a precise and unambiguous description of the meaning of a term. It characterises the meaning of a word by only giving all the properties that must be true. See also Proofs Axiom Theorem Lemma Corollary Conjecture