En definition er en præcis beskrivelse af et begreb, hvor der i beskrivelsen er en underforstået logisk biimplikation mellem begrebet og det fænomen begrebet beskriver.
Eksempel på en definition Mængden med ingen elementer kaldes for den tomme mængde og angives med .
Den underforståede biimplikation er at: Den tomme mængde angives ved symbolet . Symbolet betyder den tomme mængde.
Definition