What is the fine-grained topic of the following text: For Map-types, erase provides the stl semantics of erasure in contrast to subtract and operator -=, that implement a generalized subtraction, that performs inverse aggregations if key values collide or key intervals overlap. Only return the topic.
STL semantics of erasure in Map-types