x → maps to y