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