скінченноозначений

1. (Математика, теорія груп) Про групу: така, що має скінченно багато означень (тобто скінченну означену множину).

2. (Математика, логіка) Про структуру або модель: така, що може бути однозначно задана (аксіоматизована) скінченною кількістю формул у певній формальній мові.

Приклади вживання

Error: no such table: sentences

Частина мови: прикментик () |