This is an abstract type, or interface.
These represent finite sets of objects indexed by arbitrary index
sets. The subscript notation
a[k] selects the item indexed by
from the mapping
a; this can be used in expressions and as the
target of assignments or del statements. The built-in function len()
returns the number of items in a mapping.