이렇게 써도 되나요?

f의 Domain이 X이고 Codomain이 Y일 때,

f = x ↦ t : X → Y.