результат функції залежить від порядку її виклику

функція має доступ до всіх глобальних змінних програми

виклик функції можна замінити її результатом без зміни поведінки програми

функція обов'язково виконується в окремому процесі