Panah terpenting di sini adalah u
:
F
(
A
)
→
X


{\displaystyle u:F(A)\to X} yang menetapkan sifat universal.