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