Function checks the existence of a key in the forward and reverse mappings, in that order.

• 函数依次检查正向和反向映射中是否存在某个键。