An mapping -> A mapping