Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Eine Definition ist eine Festsetzung (d. h. eine Verabredung), ...

bei der ein längerer sprachlicher Ausdruck durch einen kürzeren ersetzt wird.

Das zu Definierende und die diesen Ausdruck präzisierende Definition sind bedeutungsgleich bzw. synonym. (Nominaldefinitionen haben mithin letztlich keinen anderen Zweck als den der sprachlichen Abkürzung.)