Extensional and intensional definitions
In logic, extensional and intensional definitions are two key ways in which the objects, concepts, or referents a term refers to can be defined. They give meaning or denotation to a term.
Source: Wikipedia — Extensional and intensional definitions (CC BY-SA 4.0)