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