1. Они возвращают один и тот же результат при одних и тех же аргументах
  2. Они не вызывают побочных эффектов, таких как модификация глобального состояния, ввод-вывод и т.д.

Эти свойства делают чистые функции предсказуемыми и упрощают процесс тестирования и отладки программ.