# Notation for Maps

Mathematical notion of map is a partial function, that is, a function from a subset of to .

We define

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

Is ?