Notation for Maps
Mathematical notion of map is a partial function, that is, a function from a subset of to .
Key operation is function update
If the value was defined before, now we redefine it.
A generalization of update is overriding one map by another:
Sometimes we denote map by