Definierbaar

Definierbaar is een term die aangeeft dat iets kan worden gedefinieerd of omschreven met een duidelijke definitie of formule. Het kan verwijzen naar concepten, objecten of verschijnselen die nauwkeurig afgebakend zijn of op een eenduidige manier kunnen worden beschreven.

Het woord is afgeleid van het werkwoord definieren (definiëren) en het achtervoegsel -baar, vergelijkbaar met het Engelse definable. De wortel komt uit het Latijn definire, via het Frans définir. In het dagelijks taalgebruik betekent definierbaar meestal dat er één heldere definitie mogelijk is binnen een gegeven taal of systeem.

In wiskunde en logica is definieerbaarheid vaak relatief aan een formele taal of structuur. Een subset van een domein is definierbaar als er een eerste-orde formule bestaat die precies die elementen beschrijft. Bijvoorbeeld, in de reële getallen met standaardbewerkingen is de verzameling x met 0 ≤ x ≤ 1 definieerbaar door de formule 0 ≤ x ∧ x ≤ 1. In andere talen of systemen kunnen meer complexe verzamelingen definieerbaar zijn, of juist niet definieerbaar. Definierbaarheid staat los van computabiliteit: iets kan definierbaar zijn zonder dat er een algoritme bestaat dat het altijd correct bepaalt.

Toepassingsgebieden omvatten logica, taalfilosofie, wiskundige theorieën over definability en semantiek, en informatica waar definibiliteit bepalend kan zijn voor hoe gegevens of functies worden gespecificeerd.