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