is a statement of the meaning of a term (a word
, or other set of symbols
). Definitions can be classified into two large categories, intensional definitions
(which try to give the essence of a term) and extensional definitions
(which list every single object that a term describes). A term may have many different senses and multiple meanings, and thus require multiple definitions.