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