↩

f : A ⟶ B
x ⟼ y = f(x)

ℝ