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.
Mængden med ingen elementer kaldes for den tomme mængde og angives med .
Den underforståede biimplikation er at:
| Spire Denne artikel om matematik er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |