"It looks to me that dictionaries or mapping variable names to their values fit into this definition." This is indeed similar, but a dictionary is a function w

"It looks to me that dictionaries or mapping variable names to their values fit into this definition." This is indeed similar, but a dictionary is a function with an enumerable domain. A function may not have an enumerable domain.