1. Такий, що може бути точно визначений або описаний за допомогою сукупності характерних ознак, властивостей або правил; що піддається чіткій дефініції.
2. (У логіці, математиці, лінгвістиці) Такий, який може бути коректно введений у вжиток або формалізований через систему вихідних понять, аксіом або правил; що має несуперечливе та однозначне визначення в межах певної теорії чи системи.