Implementing an Ordered Dictionary
lA dictionary is an abstraction associating a value with each member of a set (called the domain).

lAn ordered dictionary does this while keeping the domain ordered as well.

lA (finite) ordered dictionary can be implemented as an association list.