A property of deterministic functions with no side effects, meaning that an expression in a program can be replaced with its corresponding value without changing the program's behavior.

"Referential transparency allows for greater reasoning about program behavior and enables various optimizations by compilers."