Вільна змінна - змінна, яка зустрічається в тілі функції або пропозиції, але яка не є параметром цієї функції, і \ або місце, де ця змінна була визначена, знаходиться десь за межами функції.