dx dy の意味は？

[0553 １３２人目の素数さん 2020/08/30(日) 00:38:25.82 ID:ZrvdpM03]

>>550
関数とは集合のタプル(S, T, U)であって
U⊂S×T∧∀x∈S, ∃!y∈T, (x, y)∈U
を満たすもののことだけど、「xはy,zの関数である」とはどういう意味？