A definition whose function is to take a general concept and make it more precise.

For example, a circle is a round boundary (rather than what is inside of it).