Comment by conceptoriented

Function is a mapping between two sets (of values). This mapping between values is mutable although the values are not.