A function that returns the same value each time it is called with the same values as actual parameters. An impure function may return a different value each time it is called, even when different calls have the same actual parameter values.