a \to b, x \mapsto y