A function that always produces the same output given the same input and does not modify any shared state. This requires arguments and variables to be immutable, and every function used by a pure function must also be a pure function.