A map where multiple keys point to a single value, and the removal of a single key removes all matching key-value pairs.