Формальная абстракция — абстракция, в которой вычленяются такие свойства предмета, которые важны для теоретического анализа.