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