Matematisk definition
Skabelon:Harflertydig7 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.