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