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 $\mathrm{\varnothing }$.

Den underforståede biimplikation er at:

• Den tomme mængde angives ved symbolet $\mathrm{\varnothing }$.
• Symbolet $\mathrm{\varnothing }$ betyder den tomme mængde.