For instance, the synonym [united kingdom]->[uk] is valid, because no information is lost, and neither of the sub-components of [united kingdom] will individually resolve to [uk]. This is different from a mapping such as [jackson ms]->[mississippi], in which the state abbreviation ...