Abbildung mit endlichem Definitionsbereich, aufgefaßt als Menge von Paaren (aufsteigend geordnet nach der ersten Komponente)
D. h. die Iteratoren einer map liefern:
template <S,T> class pair { S first, T second }
Zugriff auf eine map:
mapped_type & operator[](const key_type & x);
x
nicht vorhanden, wird es eingefügt
(und sein Wert wird default-initialisiert)