A Dictionary Abstract Data Type
A function expressed as a finite set of (key,value) pairs.
{ (key1, value1), ..., (keyn, valuen)}
PUT: DICTIONARIES ? KEYS ? VALUES ? DICTIONARIES
GET: DICTIONARIES ? KEYS ? VALUES
GETALLKEYS: DICTIONARIES ? 2KEYS
For any set S, the set of all possible subsets of S is written 2S, and is called the power set of S.