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