Es ist sinnvoll, von Wohldefiniertheit zu sprechen, da eine Definition keine Wohldefinition sein muss, sondern nichts oder die leere Menge beschreiben kann. Mathematische Objekte können sehr häufig (Ausnahme: Echte Klassen) als spezielle Mengen definiert werden (auch Funktionen können als spezielle Mengen definiert werden, siehe Bourbaki-Programm). Ein typischer Aufbau einer Definition ist: