Welgedefinieerdheid

In de wiskunde is welgedefinieerdheid een wiskundige of logische definitie van een bepaald concept of object (een functie, een eigenschap, een relatie enz.) die op een geheel ondubbelzinnige wijze gebruikmaakt van een verzameling van basisaxioma's en die voldoet aan de eigenschappen, waaraan zij moet voldoen. Definities worden meestal ondubbelzinnig gesteld, en het is in dat geval duidelijk dat ze voldoen aan de vereiste eigenschappen. Soms komt het echter beter uit om een definitie in termen van een arbitraire keuze te formuleren; men moet men controleren of de definitie onafhankelijk is van deze arbitraire keuze. Bij andere gelegenheden hoeven de vereiste eigenschappen niet allen vanzelfsprekend te zijn, men dient deze eigenschappen dan te verifiëren. Deze kwesties ontstaan meestal in de definitie van functies.